Этот ответ показывает грамматику, описывающую язык LL (2), который не является LL (1):
S -> a S A | epsilon
A -> a b S | c
В этой грамматике одна из возможностей для S является то, что он производит epsilon, пустую строку. Существуют ли грамматики, которые аналогичным образом описывают язык LL (2), который не является LL (1), но в котором ни одно правило не может дать epsilon?