YACC降低/减少冲突

Question

我有以下语法：

1. X：（Z）O
2. X：N
3. Z：X
4. Z：ZX
5. ○：+ | - |/| *
6. N：[0..9]

解析器堆CURREN tly是：“（z（zx”，下一个令牌是）+）*

规则3或4中的哪一个要解析器来减少，为什么？

谢谢

Answer 1

答案是：规则4.

直观地说，这是因为规则3和规则4是左关联的一对X的转换到Z的贪婪方式。

另一个原因是，如果我们减少规则3，我们会在解析栈上结束Z Z，这不是可能的句子形式。语法不会生成具有Z Z的偏导数。