Grammatiken

Es sei ein Vokabular V_T gegeben das aus einer endlichen Menge von lexikalischen Symbolen besteht. (Lexikalische Symbole werden auch Terminal-Symbole genannt, daher die Bezeichnung V_T).

Die Menge V_T^* ist dann die Menge aller endlichen Folgen aus Symbolen aus V_T, einschließlich der leeren Folge.

Eine Sprache S auf Basis des Vokabulars V_T ist dann eine Teilmenge von V_T^*.

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.

	Es sei ein Vokabular V_T gegeben das aus einer endlichen Menge von lexikalischen Symbolen besteht. (Lexikalische Symbole werden auch Terminal-Symbole genannt, daher die Bezeichnung V_T).
	Die Menge V_T^* ist dann die Menge aller endlichen Folgen aus Symbolen aus V_T, einschließlich der leeren Folge.
	Eine Sprache S auf Basis des Vokabulars V_T ist dann eine Teilmenge von V_T^*.
	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.