如何使用可选前缀 LL(2) 制作语法？

Question

考虑这个语法

start: lvalue ASSIGN expr SEMICOLON | expr SEMICOLON;
expr: OPENPAREN expr CLOSEPAREN | literal | lvalue;
lvalue: ID lvalue_tail ;
lvalue_tail: OPENBRACK expr CLOSEBRACK | ;
ID : [a-zA-Z]+[a-zA-Z0-9_]* ;

所以lvalue是expr ，但expr可能不是lvalue 。
使用此输入var[10] ，语法将需要 4 次前瞻（ID、openbrack、literal、closebrack）才能确定是否应该选择lvalue expr或expr 。
我如何制作这样的语法 LL(2)？
注意：这里的expr是简化的，大写字母的符号是终端。

Answer 1

与仅使用 LALR 解析器生成器相比，我不确定通过减少该语法的 LL 前瞻可以达到什么目的，因为未修改的语法是 LALR(1)。

然而，它可以通过将expr分离为lvalue和我们可以称为rvalue的东西来完成——即，在赋值运算符的左侧不可用的表达式。 这可能会产生类似的东西

start: lvalue start_tail | rvalue SEMICOLON;
start_tail: ASSIGN expr SEMICOLON | SEMICOLON;
expr: lvalue | rvalue;
rvalue: OPENPAREN expr CLOSEPAREN | literal;
lvalue: ID lvalue_tail ;
lvalue_tail: OPENBRACK expr CLOSEBRACK | ;
ID : [a-zA-Z]+[a-zA-Z0-9_]* ;

该文法除了是 LL(2) 之外，还是 LL(1)。 但是，将其扩展以包含更多语言可能会被证明是棘手的。

（如果上面的链接失效，它只是指向一个在线工具，它验证了语法是 LL(1)。）