Question

我在EBNF表示法中有这个语法：

expr -> expr (opt1 | opt2 | opt3) expr

我想将它转换为BNF以便在Bison中使用它，但我在这里得到了shift / reduce错误：

expr : expr opt1 expr | expr opt2 expr | expr opt3 expr

我想我在路上误解了一些东西。有什么帮助吗？

由于

Answer 1

怎么样

expr: expr optexpr expr
optexpr: opt1 | opt2 | opt3

shift / reduce错误是由重叠的expr前缀引起的。通过引入另一个定义，expr的解析变得明确。