是否可以在语法规范中分解出bin_op非终结符？

Question

指定语法的不便 - 我们不能在下面的例子（Bison）中分解出bin_op：

expr : expr bin_op expr ;
bin_op : Add
    | Mul
    ;

因为转移/减少冲突。是否有解析技术或解析器生成器允许这样的事情？

Answer 1

是

Yacc已经被用来解析几乎所有真正的编程语言和其他一些类型。我几乎不是它最大的粉丝，但它肯定可以解析那个语法，或者也许是用yacc写的等价语言。

转移/减少冲突不是错误。