自顶向下分析概述三个重要的集合递归下降语法分析LL语.ppt

4.1.2 实例 文法G[A]: A ? a B c[1] B ? d [2]| b B[3] 输入串：abbdc 分析过程： (A,abbdc)?1(aBc,abbdc) ? (Bc,bbdc) ?3(bBc,bbdc) ?(Bc,bdc) ?3 (bBc,bdc) ?(Bc,dc) ?2 (dc,dc) ?(c,c) ?( , ) * 4.1.3 LL(1)分析的动作 替换：当X1?VN时选相应候选式?去替换X1。 匹配：当X1?VT时它与Y1进行匹配，其结果可能成功，也可能失败，如果成功则去掉X1和Y1，否则报错。 接受：当格局为（空，空）时报分析成功。 报错：出错后，停止分析。 * 4.2 LL(1)分析器 组成 LL(1)语法分析表，即LL(1)矩阵 LL(1)语法分析驱动程序 * 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