SLR(1)分析条件 LRSM中存在着状态 {A101°, ●·9 B1→B1·2a1r1 o多 ●。● B●arn} n nn FOllOw(A…⌒ Follow(An) }=
SLR(1)分析条件 ◼ LRSM0中存在着状态 { A1 →1 •，…，An →n •， B1→1 •a1 r1，…，Bn → n •an rn } Follow(A1 )… Follow(An ) {a1 ,…,an }=
SLR(1)文法的定义 SLR(1)文法的投影函数定义如下: r: Statelet×(rU{#)→2 TI(S,a) ReducejB→兀●∈S,a∈ Follow(B),B→兀∈P U(i在X→a·aB∈S且acⅤ then{Shi) C如果LRSM中的每个状态S,对任意a∈Vr 使得r(S,a)≤l,则称相应文法为SLR(1)文法
SLR(1)文法的定义 ◼ SLR(1)文法的投影函数 1定义如下： • 1：StateSet (VT∪{#})→2 • 1 (S,a) = {Reduce j |B→•S,aFollow(B),B→ P} ∪(if存在X→•aS且aVT then {Shift}) 如果LRSM0中的每个状态S，对任意 aVT， 使得| 1 (S,a)|1，则称相应文法为SLR(1)文法