Review g[S]:(0)S→>S(1)S→ aacbe (2)A->b(3)A→>Ab(4)B→>d 定义(产生式的LR(0)左文) LR(OLC(A-a){Yy=a且S含BA0→βcO,O∈Vt} 有推论:LR(0LC(A→>)=LC(A).{a} 则有 LR(OLCIS >S)=S LR(O(C(S>aAcBe=aAcBe LR(OLC(A>b=ab LR(OLC(A>Ab=aAb LR(OLCB->d)F=aAcd (Σ=VnVt)上的正规式
Review G[S]: (0) S’→S (1) S →a A c B e (2)A →b (3) A →Ab (4)B →d 定义(产生式的LR(0)左文) LR(0)LC(A→)={| =且S’A , Vt *} 有推论：LR(0)LC(A →)=LC(A).{} 则有: LR(0)LC(S’→S)=S LR(0)(LC(S→aAcBe)=aAcBe LR(0)LC(A→b)=ab LR(0)LC(A→Ab)=aAb LR(0)LC(B→d)=aAcd ( =VnVt)上的正规式 R * R
S→rD.D→D.,i 例1文法的LR(0)分析表有多重入口 状态 ACTION GOTO # acc rI 3456
I3: S→r D． D→D．，i 例1文法的LR（0）分析表有多重入口 状态 ACTION GOTO r , i # S D． 0 S2 1 1 acc 2 S4 3 3 r1 S5 r1 r1 r1 4 r3 r3 r3 r3 5 S6 6 r2 r2 r2 r2