Produktionen

Produktionen sind Ersetzungsregeln in der Form

⟨ A ⟩ ---> α

Auf der linken Seite steht genau ein sogenanntes Nicht-Terminal-Symbol (hier ⟨ A ⟩ ∈ V_N). Es gilt: V_T ∩ V_N = Ø.

Die Nicht-Terminal-Symbole dienen als Bezeichnung komplexerer ``Bauteile'', die aus kleineren Teilen zusammengesetzt sind. Ihnen werden normalerweise Namen gegeben, die das ``Bauteil'' beschreiben.

Die rechte Seite besteht aus einer Sequenz von Terminal oder Non-Terminal-Symbolen: α ∈ V^*. Diese Sequenz kann auch die Länge 0 haben.

Griechische Buchstaben stehen für Sequenzen von Symbolen aus V^*.

ε steht für eine Folge der Länge 0.