第四章语法分析-自上而下分析.pptVIP

对文法G的任何符号串?=X1X2…Xn构造集合FIRST(?)。 （1）置FIRST(?)＝FIRST(X1)\{?}； （2）若对任何1?j?i-1，??FIRST(Xj)，则把FIRST(Xi)\{?}加至FIRST(?)中；特别是，若所有的FIRST(Xj)均含有?，1?j?n，则把?也加至FIRST(?)中。显然，若?＝?则FIRST(?)＝{?}。 构造FIRST(?) 构造FOLLOW(A) 对于文法G的每个非终结符A构造FOLLOW(A)的办法是，连续使用下面的规则，直至每个FOLLOW不再增大为止： （1）对于文法开始符号S，置＃于FOLLOW(S)中； （2）若A→?B?是一个产生式，则把FIRST(?)\{?}加至FOLLOW(B)中； （3） 若A→?B是一个产生式，或A??B?是一个产生式而? ? (即??FIRST(?))，则把FOLLOW(A) 加至FOLLOW(B)中。 例 对于文法G(E) E→TE? E?→+TE? | ? T→FT? T?→*FT? | ? F→(E) | i 构造每个非终结符的FIRST和FOLLOW集合： FIRST(E) ={(,i} FIRST(E?)={+, ?} FIRST(T) ={(,i} FIRST(T?)={*, ?} FIRST(F) ={(,i} FOLLOW(E) ={),#} FOLLOW(E?)={),#} FOLLOW(T) ={+,),#} FOLLOW(T?)={+,),#} FOLLOW(F) ={*,+,),#} 在对文法G的每个非终结符A及其任意候选?都构造出FIRST(?)和FOLLOW(A)之后，现在可以用它们来构造G的分析表M[A，a]。 （1） 对文法G的每个产生式A→?执行第2步和第3步； （2） 对每个终结符a ?FIRST(?)，把A→?加至M[A，a]中； （3） 若??FIRST(?)，则对任何b?FOLLOW(A)，把A→?加至M[A，b]中。 （4）把所有无定义的M[A，a]标上“出错标志”。 对产生式E?TE? 由于FIRST(TE?)=FIRST(T)={ (,i } 故应把E?TE?放入M[E,( ]和M[E,i]中。 对于产生式E??+TE? 由于FIRST(+TE?)={ + } 所以，应把E??+TE?放入M[E?,+]中。 对于产生式E??? 由于FOLLOW(E?)={),# } 故应把E???放入M[E?,)]和M[E?, #]中。 如果G是左递归或二义的，那么，M至少含有一个多重定义入口。因此，消除左递归和提取左因子将有助于获得无多重定义的分析表M。 可以证明，一个文法G的预测分析表M不含多重定义入口，当且仅当该文法为LL(1)的。 4.5.2 预测分析表的构造 LL(1)的含义： 第一个L表示从左至右扫描输入符号串 第二个L表示生成输入串的一个最左推导 1表示在决定分析器的每步动作时，向前看一个符号。 （2）若β= ε, 则FIRST(α) ∩ FOLLOW(A) = ? * LL(1)文法 定义：一个文法G，其分析表M不含多重定义入口(即分 析表中无二条以上产生式)，则称它是一个LL(1)文法。 定理：文法G是LL(1)文法的充分必要条件是：对于G的 每一个非终结符A的产生式A??|? ,下列条件成立： （1）FIRST(α) ∩ FIRST(β) = ? 试证明文法G是LL(1)文法。 证明： E? →+TE? | ? FIRST(+TE?)=｛+｝ FOLLOW(E?)=｛)，#｝ T? →*FT? | ? FIRST(*FT?)=｛*｝ FOLLOW(T?)=｛+,)，#｝ F →(E) | i FIRST((E))=｛(｝ FIRST(i)=｛i｝ 所以G(E)是LL(1) 文法。 G(S): S ? iCtS | iCtSeS | a C ? b 提取左因子之后，改写成： G?(S): S ? iCtSS? | a S? ?eS | ? C ? b 最近匹配原则 FIRST(S)={i, a } FIRST(S?)={e, ?} FIRST(C)={b} FOLLOW(S)={e, #} FOLLOW(S?)={e, #} FOLLOW(C) ={t} LL(1)文法的判断 一个文法是LL(