Parsing 描述不是LL（1）的LL（2）语言的语法，在这种语言中没有规则可以产生ε？

显示描述非LL（1）语言的LL（2）语言的语法：

---

在这种语法中，

S

的一种可能性是它产生

epsilon

，即空字符串。是否有语法类似地描述了不是LL（1）的LL（2）语言，但其中没有规则可以产生ε？

考虑以下语法：

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

它不是LL（1），因为非终端

S

和终端

a

存在第一个/第一个冲突

它是一个LL（2）语法，因为它不包含任何ε规则，每个规则的第一组是不同的：

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

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