ANTLR4 - 相互左递归语法

Question

我收到错误消息：The following sets of rules are mutually left-recursive [symbolExpression]。在我的语法中，symbolExpression 是直接左递归的，所以 ANTLR4 不应该处理这个吗？

以下是我的解析器的相关部分：

operation: 
       OPERATOR '(' (operation | values | value | symbolExpression) ')'                       #OperatorExpression
     | bracketedSymbolExpression                                                              #BracketedOperatorExpression
     ;

symbolExpression:
     (operation | values | value | symbolExpression) SYMBOL (operation | values | value | symbolExpression);

bracketedSymbolExpression:
     '(' (operation | values | value | symbolExpression) SYMBOL (operation | values | value | symbolExpression) ')';

list: '[' (operation | value) (',' (operation | value))* ']';

values: (operation | value) (',' (operation | value))+;

value:
     NUMBER
   | IDENTIFIER
   | list
   | object;

Answer 1

规则“symbolExpression”中的元素“symbolExpression”和“操作”是相互依赖的左递归。

如果不了解语言规范，就无法说语言本身是否具有不可恢复的歧义。

尽管如此，尝试的一种方法是重构语法以移动重复的子句，例如

( operation | value )

和

(operation | values | value | symbolExpression)

他们自己的规则，目的是将“操作”和“符号表达式”（也许还有“括号内的符号表达式”）规则统一为一个规则——一个最多是自左递归的规则。类似的东西

a : value
  | LPAREN a* RPAREN
  | LBRACK a* LBRACK
  | a SYMBOL a
  | a ( COMMA a )+
  ;