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