问ANTLR4互左递归文法

EN

我在StackOverflow上读过许多关于LL(k)解析器中的互左递归问题的问题。我找到了删除左递归的通用算法：

A : Aa | b ;

变成了

A : bR ;
R : (aA)? ;

然而，我想不出如何将它应用于我的情况。我有过

left_exp: IDENT | exp DOT IDENT ;
exp     : handful
        | of
        | other rules
        | left_exp ;  

“少数其他规则”都包含有规律的递归，如exp : exp PLUS exp等，没有任何问题。问题在于left_exp和exp是相互递归的。

我考虑将IDENT和exp DOT IDENT添加到exp规则中，但在某些情况下，其他有效的exp规则不适用，left_exp将是有效的。

编辑

我还有下面的规则，它要求一个左表达式，然后是赋值。

assign_statement: left_exp ( COLON IDENT )? EQUAL exp SEMI ;

因为正则表达式如果后面跟着DOT IDENT，那么它只是一个左表达式，所以我似乎不能仅仅添加

| IDENT
| exp DOT IDENT

对于我的表达式定义，因为赋值将接受左边的任何其他有效表达式，而不是仅接受这两个表达式中的一个。