Ausdruck = Name oder Literal oder Zeichen "(" ; Ausdruck ; Zeichen ")" oder Ausdruck Operator Ausdruck
Def: eine Variable A in CFG G heißt links-rekursiv, falls w (V )* : AAw.
Aufgabe: Wie kann man entscheiden, ob gegebenes G links-rekursiv ist?