编译原理及实现技术（张睿）精品课件5.pptVIP

4.2.1 LL(1)分析表的构造 T：VN ? VT ? P ? { Error } A?? 若t?Predict(A??) T(A,t)= Error 否则 其中P表示所有产生式的集合 * 4.2.2 LL(1)分析的驱动器 * Stack Input a 栈为空情形的处理 X? VT情形的处理 X ? VN情形的处理 X LL[1] 分析表 4.3 LL驱动算法 初始化： Stack := #；Push(S)； 读下一个输入符： Read(a)； 若当前格局是(#, # )，则成功结束；否则转下； 设当前格局为（ X....., a.....)，则 若 X?VT X=a则{Pop(1)；Read(a)；goto 3 } 若 X?VT X?a 则 Error； 若 X?VN，则： if T(X,a)=X?Y1Y2 … Yn then {Pop(1)；Push(Yn,.....,Y1)；goto 3} else Error * 4.4 LL分析实例 文法G: * E? ? T E’[1] E’ ? + T E’[2] | ?[3] T ? F T’[4] T’ ? * F T’[5] | ?[6] F ? id[7] | ( E )[8] 符号串 i + i * i # 的LL(1)分析过程： Predict([1]) = first(TE’) = { id , ( } Predict([2]) = first(+TE’) = { + } Predict([3]) = follow(E’) = { ) , # } Predict([4]) = first(FT’) = { id , ( } Predict([5]) = first(*FT’) = { * } Predict([6]) = follow(T’) = { + , ) , # } Predict([7]) = first(id) = { id } Predict([8]) = first((E)) = { ( } * 分析栈S 输入流T 矩阵元素 E # i + i * i # LL[ E ,i ] = [1] T E’# i + i * i # LL [ T ,i ] = [4] F T’ E’# i + i * i # LL [ F ,i ] = [7] i T’ E’ # i + i * i # Match T’ E’# + i * i # LL [ T’,+] = [6] E’# +i * i # LL [ E’,+ ] = [2] +T E’# +i * i # Match T E’# i * i # LL [ T,i ] =[4] F T’ E’# i * i # LL [ F,i ] = [7] i T’ E’# i * i # Match T’ E’# * i # LL [ T’,* ] = [5] *FT’ E’# * i # Match FT’ E’# i # LL[F,i] = [7] iT’ E’# i #