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

Question

如果我有这样一种情况，DFA中的一个状态有移位/归约冲突，其中移位和归约都适用，让下一个符号为"t“，我们有以下规则

X -> F.

Y -> F.tG

在这种情况下，我该怎么做呢？我知道根据定义，这不是SLR(1)语法，但是根据https://imgur.com/a/yxy9L48所示的算法，该算法应该做什么？它应该报告一个错误吗？

算法说，如果(shift或reduce)都不适用，我们会报告一个错误，但如果两者都适用，会发生什么？

Answer 1

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