去除XTEXT左遞歸

Question

我看到了這麼多的帖子，並與的Xtext在https://eclipse.org/Xtext/documentation/307_special_languages.html閱讀解析表達式，以及https://typefox.io/parsing-expressions-with-xtext

然而，我無法消除我的LL遞歸誤差：

我的語法是：

能夠解決所有，但一個問題

Trailer: 
    '[' (index+=Expr)?']'| 
    '(' (params+=Expr_list)? ')'| 
    '.' name=id(trailer+=Trailer)* //TODO fix left recusion 
; 

試過以下

Trailer: 
    TerminalTrailer | 
    '.' name=id (trailer+=TerminalTrailer)* //TODO fix left recusion 


TerminalTrailer returns Trailer: 
     '[' (index+=Expr)?']'| 
     '(' (params+=Expr_list)? ')'; 

但這是行不通的，我有點困惑，爲什麼，這也是不能說明的情況。名稱（預告片），其中預告片是另一個。名稱

有什麼想法？

Answer 1

這些類型的表達式如下所示那些中的Xtext

Addition returns Expression: 
    Multiplication ({Addition.left=current} '+' right=Multiplication)*; 

Multiplication returns Expression: 
    Primary ({Multiplication.left=current} '*' right=Primary)*; 

Primary returns Expression: 
    NumberLiteral | 
    '(' Addition ')'; 

NumberLiteral: 
    value=INT; 

看到http://typefox.io/parsing-expressions-with-xtext了詳細的解釋。和https://github.com/LorenzoBettini/xsemantics/blob/master/examples/it.xsemantics.example.expressions/src/it/xsemantics/example/expressions/Expressions.xtext了一下更復雜的例子

更新：

你的東西可能是這樣的（未經測試）

OrExpression: 
    And_expr ({OrExpression.left=current} '||' right+=And_expr)*; 

And_expr returns Expression: 
    Subtract_expr ({And_expr.left=current} '&&' right+=Subtract_expr)*; 

    Subtract_expr returns Expression: 
    "!" not=Subtract_expr 
    | Compare_expr; 

Compare_expr returns Expression: 
    Math_expr (operator+=('>=' | '<=' | '==' | '!=' | '>' | '<') comp+=Math_expr)+ | 
    '(' Compare_expr ')' | // 
    Literal; 

Literal returns Expression: 
    {Literal}(
    value?="true" | "false"); 

Math_expr: 
    valie=INT; 

編輯2：

Trailer: 
    '[' (index+=Expr)?']'| 
    '(' (params+=Expr_list)? ')'| 
    '.' name=ID (=>trailer+=Trailer)* 
;