防止语法歧义不清

Question

expr : r1 EOF
     | r2 EOF
     ;

r1 : '1' L1 'x' ;
r2 : '1' L2 'y' ;

L1: 'a' ;
L2: 'a' ;

1ay

为什么不能正确解析？我能给它指示吗？

解析代码：

private static void parse(String str) 
{
    ANTLRInputStream input = new ANTLRInputStream(str);
    AmbLexer lexer = new AmbLexer(input); 
    CommonTokenStream tokens = new CommonTokenStream(lexer); 
    AmbParser parser = new AmbParser(tokens);
    ParseTree tree = parser.expr();
    System.err.println(tree.toStringTree(parser));
}

Answer 1

解析的第一步是根据lexer规则创建令牌流。标记是用首先匹配的规则创建的。所以在你的例子中，每个“A”都是L1。由于r1只是包含L1的解析器规则，所以它不能与输入匹配，因为规则'r1'期望的是'X'，而不是'Y'。

因此，必须对lexer规则进行排序，这样特殊的、更具体的规则就会先于更模糊的规则。作为字符串的规则，数字将在最后，但作为'func'、'class'的规则将在它们之前。

为了解决这个问题，将L1和L2合并成一个规则，并在两个解析器规则中使用它。