假设我的语法中有以下规则。
expr: expr op expr
| NUMBER
op: '+' | '-' | '*' | '/'
我完成了以下声明
%token NUMBER
%left '+' '-'
%right '*' '/'
这会导致 4 个班次减少冲突
State 12
4 expr: expr . op expr
4 | expr op expr .
'+' shift, and go to state 6
'-' shift, and go to state 7
'*' shift, and go to state 8
'/' shift, and go to state 9
'+' [reduce using rule 4 (expr)]
'-' [reduce using rule 4 (expr)]
'*' [reduce using rule 4 (expr)]
'/' [reduce using rule 4 (expr)]
$default reduce using rule 4 (expr)
op go to state 11
但是,如果我将语法重写为
expr: expr '+' expr
| expr '-' expr
| expr '*' expr
| expr '/' expr
| NUMBER
优先规则生效,冲突得到解决。我相信冲突的出现是因为当野牛遇到一个 时op
,它不会跟踪op
转移到堆栈中的前一个。有没有办法可以将所有操作员分组并仍然解决冲突?