消除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

查看本文或官方文檔 ，它將詳細說明如何處理語言遞歸，並考慮到運算符的優先級。