现在我们可以对上面7.4例中不能用SLR(1)方法解决I5,I7中移进-归约冲突的文法构造它的LR(1)项目集规范族如下:
  I0: S′→·S,#
     S→·aAd,#
     S→·bAc,#
     S→·aec,#
     S→·bed,#
  I1: S′→S·,#
  I2: S→a·Ad,#
     S→a·ec,#
     A→·e,d
  I3: S→b·Ac,#
     S→b·ed,#
     A→·e,c
  I4: S→aA·d,#
I5: S→ae·c,#
   A→e·,d
I6: S→bA·c,#
I7: S→be·d,#
   A→e·,c
I8: S→aAd·,#
I9: S→aec·,#
I10:S→bAc·,#
I11:S→bed·,#
  这样LR(1)方法构造的项目集规范族在项目集I5和I7中的移进-归约冲突,由于归约项目的搜索符集合与移进项目的待移进符号不相交,所以在I5中,当面临输入符为d时归约,为c时移进,而在I7中则当面临输入符为c时归约,为d时移进,冲突已全部可以解决,因此该文法为LR(1)文法。