recursion - 消除 XText 中的左递归

Question

这是 NuSMV 语言语法的一部分：

BasicExpression:
Constant | '(' BasicExpression ')' | '!' BasicExpression | BasicExpression '&' BasicExpression;
Constant:
BooleanConstant
BooleanConstant: 
'TRUE' | 'FALSE';

不幸的是，XText 抛出了一个异常，指出该语法中存在左递归。我该如何解决？

谢谢。

Answer 1

您可以像这样简单地引入新规则（新层）：

BasicExpression:
    firstContent=ExpressionContent ("&" secondContent=ExpressionContent)?
;

ExpressionContent:
    Constant 
    | '(' BasicExpression ')' 
    | '!' BasicExpression 
;

这样规则就不再是递归的了。

问候 Krzmbrzl

Answer 2

看看 这篇文章或者官方文档，会详细解释如何处理语言中的递归，并考虑运算符优先级。