不难发现，在项目集I2中存在移进项目[S→L·＝R]和归约项目[R→L·]。因此该文法不是LR(0)文法。再考察是否能用SLR(1)方法解决，这就要看R的后跟符集合中是否包含'='，由文法的产生式规则可求出FOLLOW(R)={#，＝}，所以FOLLOW(R)∩{=} = {=，#}∩{=} ≠，因而在I2中存在的移进-归约冲突不能用SLR(1)方法解决，说明该文法不是SLR(1)文法，因此，进一步构造它的LR(1)项目集规范族，以判定是否是LR(1)文法或LALR(1)文法。