描述非LL(1)的LL(2)语言的语法,其中没有规则可以产生epsilon?

考虑一下这个语法:

S -> a S A | a c 
A -> a b S | c 

它不是LL(1),因为非终结符存在First/First冲突 S 以及终端 a .

它是一种LL(2)语法,因为它不包含任何epsilon规则,并且每个规则的First集都是不同的:

First_2(a S A) = {aa}
First_2(ac) = {ac}
First_2(a b S) = {ab}
First_2(c) = {c}