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的偏導數。