自下而上 SLR(1) 沖突 / 兩者都適用時減少

Question

如果我的情況是 DFA 中的 state 存在移位/縮減沖突，移位和縮減都適用，讓下一個符號為“t”，我們有以下規則

X -> F。

Y -> F.tG

而t屬於X的following這種情況下該怎么辦呢？ 我知道根據定義這不是 SLR(1) 語法，但根據顯示的算法https://imgur.com/a/yxy9L48 ，算法應該做什么？ 它應該報告錯誤嗎？

該算法說，如果兩者都不適用（移位或減少），我們會報告錯誤，但如果兩者都適用，會發生什么？

Answer 1

當您嘗試構建解析器時，您應該已經檢測到此錯誤。 如果存在沖突，SLR 解析器生成算法必須失敗。