Chomsky-Hierarchie
Artikel bei wikipedia
Achtung: Man beachte den Unterschied bei den zugelassenen Produktionen für kontextsensitive
Grammatiken zu folgender Definition.
In obiger Übersicht bezeichnen A und B einzelne nonterminale Symbole (Variablen),
α, β, γ Symbolfolgen aus Terminalen und Nonterminalen, a ein einzelnes
Terminal. |α|≤|β| bedeutet, dass die Folge β mindestens so viele
Zeichen hat wie die Folge α.
Beispiele