ANTLR-左递归移除帮助

Question

我有左递归的语法，我不明白如何使它成为非左递归。 这是我第一次使用解析器/语法等，所以请保持简单的解释。

msg: IDENTIFIER
   | IDENTIFIER LBRACKET msg RBRACKET
   | msg COMMA message
   | LBRACE msg RBRACE LBRACE atom RBRACE
   | msg XOR msg
   | msg PERCENT IDENTIFIER
   | IDENTIFIER PERCENT msg
   | LBRACKET msg RBRACKET
   ;

atom: IDENTIFIER
    | fn_app
    ;

fn_app: IDENTIFIER LBRACKET IDENTIFIER (COMMA IDENTIFIER)* RBRACKET;

我自己尝试过，但是ANTLR仍然说有递归，我不明白为什么。

ANTLR这样说：

[fatal] rule msg_contents has non-LL(*) decision due to recursive rule invocations reachable from alts 1,3.  Resolve by left-factoring or using syntactic predicates or using backtrack=true option.

我的尝试：

msg_contents: msg_part
            | msg_part XOR msg_part
            | msg_part PERCENT msg_part
            ;

msg_part : IDENTIFIER
         | IDENTIFIER LBRACKET msg_part RBRACKET
         | LBRACE msg_part RBRACE LBRACE atom RBRACE
         | IDENTIFIER PERCENT msg_part
         | LBRACKET msg_part RBRACKET
         ;

请帮忙。 谢谢！

Ps如果可能，请提供有关如何从此类语法中删除递归的说明或步骤。

Answer 1

简而言之，在删除立即的左递归时（正对着它），可以将递归引用排除在外并替换

   A ::= A x
       | y

通过

   A ::= y x*

在您的情况下，这意味着

msg: msg ( COMMA message
         | XOR msg
         | PERCENT IDENTIFIER
         )
   | ( IDENTIFIER
     | IDENTIFIER LBRACKET msg RBRACKET
     | LBRACE msg RBRACE LBRACE atom RBRACE
     | IDENTIFIER PERCENT msg
     | LBRACKET msg RBRACKET
     )
   ;

并替换为

msg: ( IDENTIFIER
     | IDENTIFIER LBRACKET msg RBRACKET
     | LBRACE msg RBRACE LBRACE atom RBRACE
     | IDENTIFIER PERCENT msg
     | LBRACKET msg RBRACKET
     )
     ( COMMA message
     | XOR msg
     | PERCENT IDENTIFIER
     )*
     ;

左侧递归中的Wikipedia条目对此进行了很好的解释。

您收到的ANTLR消息与左递归无关。 它说ANTLR无法在

msg_contents: msg_part
            | msg_part XOR msg_part
            | msg_part PERCENT msg_part
            ;

因为所有内容msg_part开头，因此msg_part是递归的，因此msg_part ，这是LL（*）超前所需的。 但是，可以通过左分解来解决。 另请注意，您的尝试省略了COMMA变体。