如何告诉Beaver忽略reduce/reduce冲突？

Question

我正在尝试使用Beaver来解析包含reduce/reduce冲突的语法。其他解析器生成器支持使用类似%expect 0 1的语句来指定需要一个reduce/reduce冲突，但Beaver似乎不支持这一点。如何告诉Beaver忽略已知的reduce/reduce冲突并生成解析器？

Answer 1

Beaver can't do that，但您可以使用%left、%right或%nonassoc指令来定义结合性和优先级规则。

我假设您并不关心在冲突的情况下执行哪个reduce (要么是因为解析树是相同的，要么是因为它们对于您的目的是相同的)。因此，您定义了哪些优先级对您来说并不重要，只需定义足够的优先级即可。

假设冲突发生在操作符OP1和OP2之间，那么以下指令将解决您的冲突。

%nonassoc OP1;
%nonassoc OP2;

但是，如果冲突发生在具有相同运算符(OP)的两个扣减规则之间，则需要

%left OP;

或

%right OP;