Für prädiktive Parser (ein Zeichen Vorschau) wird das schwer:
exp -> exp + term | ...
Def: eine Grammatik G = (, V, S, R) heißt linksrekursiv, wenn v V, w ( V)* : vv . w.
Satz: zu jeder CFG G gibt es eine nicht linksrekursive CFG G' mit L(G') = L(G).
einfachster Fall: Grammatik mit Regeln {AAb, Ac}