"theoretical computer science"@en . "Theoretische Informatik"@de . "regular expression"@en . "Regulärer Ausdruck"@de . "regular language"@en . "Reguläre Sprache"@de . "context-free language"@en . "Kontextfreie Sprache"@de . "formal grammar"@en . "Formale Grammatik"@de . . . "formal language"@en . "Formale Sprache"@de . "formal language theory"@en . . . . . . "Menge von Wörtern, die über einem endlichen Alphabet Σ gebildet werden. Formale Sprachen lassen sich mit Hilfe von Grammatiken generativ erzeugen und anhand der Chomsky-Hierarchie in verschiedene Klassen einteilen. Wichtige Fragestellungen in der Theorie der formalen Sprachen sind das Wortproblem, das Leerheitsproblem, das Äquivalenzproblem und das Endlichkeitsproblem. (Hoffmann, Dirk W.: Theoretische Informatik. 2., aktualisierte Aufl. München : Hanser, 2011)"@de .