形如A→兀[P的项目称为归约型项目 形如A→0βP]的项目称为移入型项目 移入一归约冲突 归约一归约冲突 LRSM不能直接用于LR分析 LRSM提供的信息: (1)合法性检查信息[A→a●aβ (2)移入/归约信息[A→oa]; [A→兀° (3)移入/归约后的转向状态信息 形如A→•[P]的项目称为归约型项目 形如A→•[P]的项目称为移入型项目 移入-归约冲突 归约-归约冲突 LRSM不能直接用于LR分析 LRSM提供的信息: (1)合法性检查信息 [A→•a] (2)移入/归约信息 [A→•a]; [A→•] (3)移入/归约后的转向状态信息