Review Gs:()S>s()s>aACBe (2)A->b(3)A→>Ab(4)B→>d 每个非终结符的左文方程组 用代入法求解得 LC(S=e [S」=ε LC(S=LC(S).8 Is LC(A=LC(S).aU LC(A)e. LAFa+LAI LC(B=LC(S).aAc) BaAc 化简为: 令∑={[S,[S],[A],[B],a, A, c) °[S]=E 则方程两边都是∑上的正规式 [S]=[S 而[A]=a+[A]即为[A]=a|[A]由 °[A]=[S]at[A 正规式所表示的正规集 BISAc 得:[A]Review G[S]: (0) S’→S (1) S →a A c B e (2)A →b (3) A →Ab (4)B →d 每个非终结符的左文方程组 • LC(S’)={} • LC(S)=LC(S’).{} • LC(A)=LC(S).{a} LC(A){} • LC(B)=LC(S).{aAc} 化简为： • [S’]=  • [S]=[S’] • [A]=[S]a+[A] • [B]=[S]aAc 用代入法求解得： • [S’]=  • [S]=  • [A]=a+[A] • [B]=aAc 令 ={[S’]，[S]，[A]， [B]，a， A,c} 则方程两边都是上的正规式 而[A]=a+[A] 即为 [A]=a | [A] 由 正规式所表示的正规集 • 得： [A]=a