自下而上 SLR(1) 冲突 / 两者都适用时减少

Question

如果我的情况是 DFA 中的 state 存在移位/缩减冲突，移位和缩减都适用，让下一个符号为“t”，我们有以下规则

X -> F。

Y -> F.tG

而t属于X的following这种情况下该怎么办呢？ 我知道根据定义这不是 SLR(1) 语法，但根据显示的算法https://imgur.com/a/yxy9L48 ，算法应该做什么？ 它应该报告错误吗？

该算法说，如果两者都不适用（移位或减少），我们会报告错误，但如果两者都适用，会发生什么？

Answer 1

当您尝试构建解析器时，您应该已经检测到此错误。 如果存在冲突，SLR 解析器生成算法必须失败。