消除antlr中的语法歧义

Question

我正在写一个解析器。 我有一个左递归的产品a: a op a所以我用这种方式修复它： ab : () (op ab)*; op : + | - | / | * op : + | - | / | * op : + | - | / | *现在我认为这是模棱两可的，例如对于x + y * z之类的语句。 我怎样才能
消除这种歧义？

Answer 1

对于ANTLR 3，优先级在为表达式执行的多个规则调用中是隐式的。 关于如何在网络上构建递归下降表达解析器的例子很多。

expr : primary (op primary)* ;

顺便说一句，这根本不是模棱两可的。

ANTLR 4允许您指定左递归表达式规则，并在存在歧义的情况下隐式地定义替代项的顺序。 例如，这是一条典型规则：

expr : expr '*' expr
     | expr '+' expr
     | INT
     ;