为什么 LR(1) DFA 没有 Shift/Reduce 冲突？

Question

鉴于此语法：

对于 LR(0) DFA，我可以清楚地看到为什么这是 Shift/Reduce 冲突：

（部分 DFA）

但我不明白为什么 LR(1) DFA 能解决问题？

（部分 DFA）

对我来说，这仍然是一个减少冲突，因为 B 规则的前瞻符号完全相同？ LR(1) 解析器应该如何区分它们，而不是 LR(0) 解析器？

Answer 1

因为如果前瞻是a，你只能减少B→ε。

在 LR(0) 中你不能考虑前瞻，但在 LR(1) 中你可以根据下一个输入符号来决定，这里的规则很简单：如果下一个符号是 b，移位，如果是a，做B的epsilon归约。