Antlrでいつ/何故相互左回帰が起こるのですか？

Question

私はexpressionを持っています。これは他のトップレベルのもののコレクションです。 expressionにはmathがあり、それはexpression (op) expressionです。これで、私はルールの

次のセットは、相互に左再帰[表現、数学】しかし

compileUnit : expression EOF; 

expression 
    : parens                
    | operation               
    | math 
    | variable               
    | number                
    | comparisonGroup             
    ; 

math : expression op=(ADD | SUBSTRACT | MULTIPLY | DIVIDE) expression  #mathExpression; 

あります！

これはされていないproblem-

expression 
    : parens                
    | operation               
    | expression op=(ADD | SUBSTRACT | MULTIPLY | DIVIDE) expression 
    | variable               
    | number                
    | comparisonGroup             
    ; 

をどちらもこれがある - ！

math : op=(ADD | SUBSTRACT | MULTIPLY | DIVIDE) expression expression  #mathExpression; 

、なぜそれが私の最初のコードブロックは、他の2つの例とは異なる挙動するのですか？

Answer 1

Antlr4は直接的な左回帰を扱うことができますが、間接的な左回帰は扱えません。左回帰規則は「代替の左端に直接的または間接的に自己を呼び出す」という規則として定義されています。最初の例では、#mathExpression代替がexpressionルールのうち、独立mathルールに織り込まれているように、左ダイレクト再帰間接なり、

、すなわち、ルール「は互いに左再帰的」です。

第2および第3の例で実現されたように、典型的な解決策は、単純な間接的な左回帰規則を単一の規則で組み合わせることです。