第四章 (2)非终极符X计算First(X)集.pptVIP

非终极符X计算First(X)集;Step3.对形如下的产生式: X?Y1Y2…Yi-1Yi…Yn 若：Y1,Y2, … ,Yi ?VN且Y1,Y2, … ,Yi-1?* ? 则: First(Y1)- {?} , First(Y2)- {?}, … , First(Yi-1)- {?}, First(Yi)都包含在First(X)中. 若： Yi ?VN且Yi ?* ? (i=1,2,…n), 则: First(Y1) , First(Y2), … , First(Yn) 都包含在First(X)中. 重复Step3 ，直至对所有A?VN，First(A)收敛为止.;1: 对所有A?VN 且 A非开始符 : 令Follow(A):={ }； 对开始符 S : 令Follow(S)={ # }； 2: 若有产生式A→xBy： 如果? ?First(y) 则： Follow(B) = Follow(B) ? (First(y)－{?}) ? Follow(A) 否则： Follow(B) = Follow(B) ? First(y) 3: 重复2和3，直至对所有A?VN，Follow(A)收 敛为止.;计算Predict集;非确定的自顶向下语法分析方法主要问题：虚假匹配而引起回溯，原因是： 1.由于相同左部的产生式的右部的FIRST集的交集不为空而引起回溯. 例：有如下文法G[Z]： Z? cAe | cAd A ? eb | a 分析字符串cad . ;2.由于某非终极符的产生式的右部能推导出?，且该非终极符的FOLLOW集中含有其某个产生式右部的FIRST集中的元素. 例：有如下文法G[S]： S ? aAS | b A ? bAS | ? | d 分析字符串ab . ;3.由于文法的左递归. 例：有如下文法G[S]： S? Sa S ? b 分析字符串baa. ;非LL(1)文法到LL(1)文法的等价转换;示例1：设有如下文法： Stm ? Label : UnLabeledStm Stm ? id UnLabeledStm ? id:=Exp Label ? id;示例2： S ? if id then S ELSE S ? OtherStm ELSE ? else S ELSE ? ?; 4.2 递归下降法4.2.1 递归下降法语法分析原理;例如：一条产生式：Stm→while Exp do Stm ; begin Match(while)；Exp； Match(do)； Stm end ;4.2.2 递归下降法语法分析程序的构造; 对每一个非终极符A构造子程： 当产生式中形如: A ? ?1| ?2| …| ?n 则按下面的方法编写子程序A： procedure A( ) begin if token?Predict(A??1) then ?(?1) else if token?Predict(A??2) then ?(?2) else …… if token?Predict(A??n) then ?(?n) else err( ) end ;终极符产生匹配命令，而非终极符则产生调用命令.因为文法递归相应子程序也递归，所以称这种方法为递归子程序方法或递归下降法.;例：假设有文法 Z → a B a B → b B | c Predict(Z→aBa)={a}, Predict(B→bB)={b}, Predict{B→c}={c} 则相应的递归子程序可如下： procedure Z( ) begin if token=a then Match(a)； B； Match(a) else err( 1 ) end;;例： E? ? T E’ E’ ? + T E’ | ? T ? F T’ T’ ? * F T’ | ?