parsing - 非 LL(1) 的 LL(2) 语言

Question

为了进一步了解解析器和语法，我正在寻找 LL(2) 但不是 LL(1) 的语言示例(希望是简单的)。也就是说，一种可以由 LL(2) 语法生成但不能由任何 LL(1) 语法生成的语言。

该类(class)中有有用的语言吗？也就是说，我们可以想象一种 LL(2) 但不是 LL(1) 的计算机语言吗？

Answer 1

冈瑟的回答中链接的书中提到的例子:

S -> a S A | epsilon
A -> a^k b S | c

是描述非 LL(k) 的 LL(k+1) 语言的语法。特别是，

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

是描述非 LL(1) 的 LL(2) 语言的语法。