对先级有就的LR(1)项目 SLR(1)项目[A→>a°β,a]对活前缀y=8a有效,存在 规范推导:S→*δy→8αβyy∈Ⅵ,且满足条件 (1)当y≠E时,a∈ FIRST(y); (2)当y=E时,a=# 例如,对于上例中文法S’→SS→ CbBA A→ Lablab B→>C|DbC→aD→a,有 S→CbBA→Cbab= Cbba 可知[B→D·b,a] 对前缀y=6a A8aBy=CbD有效 S→* CbAb→ Cba bab 可知[D→a·,b 对前缀γ=8a A 8 Y =Cba有效10 对活前缀有效的LR(1)项目 定义 LR(1)项目[A→•,a]对活前缀 =有效,iff 存在 规范推导：S Ay  y yVT * ，且满足条件: (1)当y≠时,a∈FIRST(y); (2)当y=时,a=#. 例如,对于上例中文法S’→S S→CbBA A→Aab|ab B→C|Db C→a D→a,有 S CbBACbBabCbDbab A    y 可知[B→D • b, a] 对前缀= =CbD 有效 SCbDbabCba bab A   = y 可知[D→a •, b] 对前缀= =Cba 有效