拿形如A→[P]的项目称为归约型项目 形如A→α[P的项目称为移入型项目 享移入一归约冲突 享归约一归约冲突 享LRSM不能直接用于LR分析 享LRSM提供的信息 (1)合法性检查信息[A→aaB] (2)移入/归约信息[A→aa]; [A→兀° (3)移入/归约后的转向状态信息 形如A→•[P]的项目称为归约型项目  形如A→•[P]的项目称为移入型项目  移入－归约冲突  归约－归约冲突  LRSM不能直接用于LR分析  LRSM提供的信息： （1）合法性检查信息 [A→•a] （2）移入/归约信息 [A→•a]； [A→•] （3）移入/归约后的转向状态信息