 | Es sei ein Vokabular VT gegeben das aus einer
endlichen Menge von lexikalischen Symbolen besteht.
(Lexikalische Symbole werden auch Terminal-Symbole genannt,
daher die Bezeichnung VT).
|
 | Die Menge VT* ist dann die Menge aller endlichen
Folgen aus Symbolen aus VT, einschließlich der leeren Folge.
|
 | Eine Sprache S auf Basis des Vokabulars VT ist dann
eine Teilmenge von VT*.
|
 | Problem: Wie kann die Menge S mit endlichem Aufwand
definiert werden, wenn S unendlich viele Folgen enthält?
|
 | Lösung: Es werden Grammatiken verwendet, die aus endlich vielen
Bauvorschriften (genannt Produktionen) bestehen, die rekursiv
jede Folge aus S konstruieren können.
|