Antlr ：相互左递归规则

Question

我在antlr中有这条规则：

anREs : anRE 
      | ('(' anREs ')') =>  '(' anREs ')'
      | (anREs '|' anREs) =>  anREs '|' anREs   ;

其中anRE是正则表达式，当我想编译规则文件时，由于最后一条规则中的第三个替代方案，我收到此错误消息：

错误（210）：以下几组 规则是相互左递归的 [一个RE]

我如何重写这条规则？

谢谢

Answer 1

这是你的左递归：

  ... | (anREs '|' anREs) =>  anREs '|' anREs   ;

更糟糕的是，它是不明确的。如果您有 REs_1 | anREs_2 | anREs3 作为输入，
目前尚不清楚 | 的子条款是什么运营商是。

我希望这能解决问题，并解决歧义：

  ... | (anRE '|' anREs) =>  anRE '|' anREs   ;