编译原理LR(1)分析法的项目中没有满足条件的向前搜索符怎么办？

Question

对于文法 G[S]
S→A A→AB |ε B→aB | b
在对其进行LR(1)分析时，I0状态如下∶
S'→.S，#
S→.A，#
A→.AB，#/a/b
A→.，#/a/b
B→.aB
B→.b
但是对于最后两行的B→.aB和B→.b却找不到满足条件的.Bβ的形式，请问这种情况应该怎么处理？
另外，进行LR(1)分析时需要保证文法无左递归吗？

Answer 1

遇到这种情况，需要回退到长状态集合并移除矛盾项目，直至找到可接受项。

以上回复有部分引自免费微信小程序：皆我百晓生。 如问题尚未解决，还请稍待，如有疑问请回复进一步沟通。