Question

当我尝试编译antlr4计算器语法时，事实证明它是递归的。我需要对其进行更改以使其正确。

我尝试重写规则并使用不同的括号位置，但它们均不起作用。这是错误规则的最新版本：

解析器：

expression: INT | DECIMAL | arithmetic;
arithmetic: expression OPERATION expression;

词法分析器：

OPERATION: SUB | ADD | MULT | DIV;
SUB: '-';
ADD: '+';
MULT: '*';
DIV: '/';
DPOINT: '.';
INT: SUB? NUMBER+;
DECIMAL: SUB? NUMBER+ DPOINT NUMBER+;

我希望编译成功，但是会发生以下错误：

ANTLR Tool v4.4 (/tmp/antlr-4.4-complete.jar)
hZH.g4 -o /home/heng/workspace/Ultimate ZH Compiler/target/generated-sources/antlr4 -listener -no-visitor -encoding UTF-8
error(119): hZH.g4::: The following sets of rules are mutually left-recursive [expression, arithmetic]
1 error(s)

BUILD FAIL

如何更改我的规则以使构建成功？

Answer 1

不支持Inderect的左递归规则，但支持直接的左递归。所以试试这个：

expression
 : expression OPERATION expression
 | INT 
 | DECIMAL
 ;

我不会让词法分析器将-与一个数字匹配，而是让它由解析器处理，如下所示：

expression
 : SUB expression
 | expression ( MULT | DIV ) expression
 | expression ( ADD | SUB ) expression
 | INT 
 | DECIMAL
 | OPAR expression CPAR
 ;

SUB: '-';
ADD: '+';
MULT: '*';
DIV: '/';
INT: NUMBER+;
DECIMAL: NUMBER+ '.' NUMBER+;
OPAR: '(';
CPAR: ')';

还要注意，我通过将*和/移到+和-之上，给予了更高的优先级。

通过简单的计算器相互左递归

1 个答案: