antlr解析器贪婪吗？

Question

grammar antmath1;

expr
    :   '(' expr ')'                         # parensExpr
    |   op=('+'|'-') expr                    # unaryExpr
    |   left=expr op=('*'|'/') right=expr    # infixExpr
    |   left=expr op=('+'|'-') right=expr    # infixExpr
    |   value=NUM                            # numberExpr
    ;

NUM :   [0-9]+;
WS  :   [ \t\r\n] -> channel(HIDDEN);

grammar antmath;

expr
    :   '(' expr ')'                         # parensExpr
    |   left=expr op=('*'|'/') right=expr    # infixExpr
    |   left=expr op=('+'|'-') right=expr    # infixExpr
    |   op=('+'|'-') expr                    # unaryExpr
    |   value=NUM                            # numberExpr
    ;

NUM :   [0-9]+;
WS  :   [ \t\r\n] -> channel(HIDDEN);

我希望第一个grammar1（输出正确的结果）产生与grammar2（错误的输出）相同的结果。这背后的原因是：唯一允许'-'作为第一个令牌的规则是#unaryexpr，所以由任何语法生成的解析器都会首先尝试匹配该规则。然后，如果解析器是贪婪的（对于两种语法中的任何一种），我希望它将“(5+9)+1000”作为一个整体，并将其与expr匹配，因为它是一个有效的expr。

我推理的错在哪里？

Answer 1

语法首先会试图匹配该规则

它有。但是，您已经使一元减的优先级低于二进制加的优先级。

这意味着表达式被解释为-((5+9)+1000)而不是(-(5+9))+1000。