Def (Wdhlg): G
geeignet zur Beschreibung von Sprachen mit hierarchischer Struktur.
Anweisung -> Bezeichner = Ausdruck | if Ausdruck then Anweisung else Anweisung Ausdruck -> Bezeichner | Literal | Ausdruck Operator Ausdruck
Bsp: korrekt geklammerte Ausdrücke:
G = ({a, b},{S}, S,{S→aSbS, S→ε})
Bsp: Palindrome:
G = ({a, b},{S}, S,{S→aSa, S→bSb, S→ε)
Bsp: alle Wörter w