formal language Concept
Preferred labels
en
- formal language
de
- Formale Sprache
Alternative labels
en
- formal language theory
de
Assigned collections
Broader terms
Narrower terms
Definition
de
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)