拿形如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)移入/归约后的转向状态信息