上述文法的LR(1)项目集族及转换函数为图7.13所示。
在项目集I2中,因归约项目[R→L·,#]的搜索符为'#',即当前输入符为'#'号时才用产生式R→L归约。而移进项目[S→L·=R,#]的移进符号为'='号,所以移进-归约的冲突可以由LR(1)方法得到了解决,也说明了LR(1)分析法的功能比SLR(1)分析法的功能要强。 同时也可以发现下列同心集,即I4和I11,I5和I12,I7和I13,I8和I10,它们俩俩之间除了搜索符不同外,"心"是相同的,因此我们可以将这些同心集合并,合并同心集后的项目集分别是: I4和I11为: { L→*·R ,=/# R→·L ,=/# L→·I ,=/# L→·*R ,=/#} I5和I12为: { L→i·,=/#} I7和I13为: { L→*R·,=/#} I8和I10为: {R→L·,=/#} |