Grundsätzliches
Formale Sprachen
z.B. Programmiersprachen
Eine formale Sprache ist definiert als eine Folge von Strings.
String
- besteht aus einer Sequenz von Terminal-Symbolen
- kann in Phrasen unterteilt werden
Terminal-Symbole
- endliche Menge
- Wortvorrat der Sprache (bei englisch ca. 400000)
Phrasen
- erlauben eine Zuordnung von Semantik
- erlauben Erstellung von syntaktischen Regeln