Satz: Zu jeder CFG G gibt es CFG G' ohne Links-Rekursion mit L(G) = L(G').
Beweis (Idee): ersetze {AAw, Ar} durch {ArB, B, BwB}.
Aufgaben (evtl. autotool): entferne Links-Rekursionen aus