Def: CFG G = (, V, S, R) ist in Greibach-Normalform, falls für jede Regel (lr) R gilt: r V*.
möglich ist auch: ... r (V )*
Satz: zu jeder CFG G gibt es eine CFG G' in Greibach-Normalform mit L(G) = L(G').
Aufgaben (evtl. autotool): Greibach-Normalform von