Folien

2.34 Definition
(erzeugende) Grammatik G = (N, T , S, P); dabei
◮ N Alphabet der Nichtterminalsymbole,
◮ T Alphabet der Terminalsymbole, zu N disjunkt,
◮ S ∈ N ausgezeichnetes Startsymbol und
◮ P ⊂ V ∗ NV ∗ × V ∗ endliche Menge von Produktionen.
Abkürzung: V = N ∪ T .
Produktion:
◮ (v, w) ∈ P, meist geschrieben als v → w
◮ linke Seite v ∈ V ∗ NV ∗ muss Nichtterminalsymbol enthalten
◮ rechte Seite w ∈ V ∗ beliebig
◮ gelesen: „v geht über in w“, „v wird ersetzt durch w“, o.ä.
Grammatiken 53/124