知道在哪些情况下能解决冲突:
遇到归约和移入冲突的时候,解释一下上图为什么会导致冲突?因为再I0状态遇到T后,会有两个表达式进行了转换,这时候出现了一个规约项目,一个待约项目,就产生了冲突。如何选择这时候是移入还是归约呢?关键还是找句柄,判断这时候能否进行归约。
SLR算法
例题
在状态2中,因为B的follow集有d,T的follow集有结束符和b,所以此时选择对应的进行归约。当最后遇到的是a的时候那么用移入操作。
action表有两种状态,移入和归约而GOTO表基本上就是状态的跳转。
只有在遇到follow中的元素的时候才使用归约动作。
也会有冲突