Grammatiken

Eine Grammatik G ist ein 4-Tupel (V_T, V_N, P, S):

V_T ist die endliche Menge der lexikalischen Symbole (Terminal-Symbole).

V_N ist die endliche Menge der Nicht-Terminal-Symbole.

V_T ∩ V_N = Ø.

P repräsentiert die Produktionen und ist eine endliche Teilmenge aus V_N x V^*.

Statt der Tupel-Notation (⟨ A ⟩, α) ∈ P wird die Ersetzungsregelform ⟨ A ⟩ ---> α verwendet.

∀ ⟨ A ⟩ ∈ V_N: ∃ α: (⟨ A ⟩, α) ∈ P.
(Für jedes Nicht-Terminal-Symbol gibt es mindestens eine Produktionsregel, bei der das Symbol auf der linken Seite verwendet wird).

S ∈ V_N ist das Startsymbol.

	V_T ist die endliche Menge der lexikalischen Symbole (Terminal-Symbole).
	V_N ist die endliche Menge der Nicht-Terminal-Symbole.
	V_T ∩ V_N = Ø.
	P repräsentiert die Produktionen und ist eine endliche Teilmenge aus V_N x V^*.
	Statt der Tupel-Notation (⟨ A ⟩, α) ∈ P wird die Ersetzungsregelform ⟨ A ⟩ ---> α verwendet.
	∀ ⟨ A ⟩ ∈ V_N: ∃ α: (⟨ A ⟩, α) ∈ P. (Für jedes Nicht-Terminal-Symbol gibt es mindestens eine Produktionsregel, bei der das Symbol auf der linken Seite verwendet wird).
	S ∈ V_N ist das Startsymbol.