编译原理 A产生空和B的规约在一个项目集里是规约冲突吗

编译原理 A产生空和B的规约在一个项目集里是规约冲突吗

如果我们把同心的项目集合合并为一,就可能导致冲突,但是这种冲突不会是移进-规约冲突.因为如果存在这种冲突,则意味着对当前输入符号a,有一个项目[A→α.,a]要求以A→α进行规约,同时又有另一个项目[B→β.aγ,b]要求把a移进.这两个项目既然同处于合并之后的项目集中,则意味着在合并前,必有某个c使得[A→α.,a]和[B→β.aγ,c]同处于合并前的某一集合中.然而,这又意味着原来的LR(1)项目集就已经存在移进-规约冲突.从而文法不是LR(1)的,这与假设不符.事实上移进-规约冲突不依赖于搜索符号而只依赖于其心,因此,同心集合的合并不会引起新的移进-规约冲突

不冲突。。。。。

如果一个项目集里有两个以上的归约项目，就是归约-归约冲突。
空产生式只有一个项目，如A->. 这是一个归约项目，若集合中还有关于B的归约项目，就是归约-归约冲突