Example mentioned in a book related to Gunther's answer:
S -> a SA | epsilon A -> a^kb S | c
is a grammar describing the language LL (k + 1), which is not LL (k). In particular,
S -> a SA | epsilon A -> ab S | c
is a grammar describing LL (2), which is not LL (1).
Norswap
source share