第4章 自顶向下语法分析方法.pptVIP

消除左递归 直接左递归：A→Aβ A?VN, β ?V* 间接左递归：A→BβB→Aα A,B?VN, α,β ?V* 文法G5含有直接左递归：S→SaS→b所能产生的语言L={ban|n≥0}输入串baaaa#是该语言的句子，但如何用自顶向下分析呢？ 文法G6含有间接左递归：A→aBA→BbB→AcB→d输入串adbcbcbc#A→aB→adA→aB→aAc→aBbc→aAcbc… 消除直接左递归 把直接左递归改写为右递归。如G5:S→SaS→b(L={ban|n≥0}) 改为：S→bSS→aS|ε 消除直接左递归的一般方法： A→Aα1| Aα2|…| Aαm|β1|β2|…|βn其中： αi 不等于ε ， βj不以A开头。 改为： A→ β1A| β2A |…| βnA A→ α1A | α2A |…| αmA |ε 消除间接左递归 将间接左递归变为直接左递归，然后消除直接左递归。如文法G6含有间接左递归：A→aBA→BbB→AcB→d B→aBcB→BbcB→d B→aBcB | dB B→bcB| ε 消除文法中一切左递归的算法 1.无回路(A(A (A) 2.无空产生式 （1） 以某种顺序将文法非终结符排列A1 ,A2 …An （2） for i:=1 to n do begin for j:=1 to i-1 do 用Ai--?1| ?2r…| ? k r替代 形如Ai-- Ajr的规则,其中 Aj-- ?1| ?2…| ?k是关于Aj的全部产生式; 消除Ai规则的直接左递归; end; （3）化简由2得到的文法 + ? 例： 文法G:S→Qc|cQ→Rb|bR→Sa|a R→ Qca|ca|a R→ Rbca|bca|ca|a R→ (bca|ca|a)R R → bcaR|ε 参考P.84 不确定的自顶向下分析思想 1.由于相同左部的产生式的右部FIRST集交集不为空引起回溯。 S→xAy A→ab|a w=xay S x A y S x A y a b S x A y a 试探 回溯 试探 2.由于相同左部非终结符的右部能 ε 且该非终结符FOLLOW集中含有其右部FIRST集的元素。 设文法G[S] 为:S→aASS→bA→bASA→ε * ? w=ab# S a A S S a A S b A S S a A S ε b 试探再试探 回溯 3.由于文法含有左递归而引起回溯。 设文法G[S] 为:S→SaS→b w=baa# S b S S a S S a b S S a S a S S a S a b 确定的自顶向下分析方法 1.递归子程序法 实现思想：对文法中每个非终结符编写一个递归过程，每个过程的功能是识别由该非终结符推出的串，当某非终结符的产生式有多个候选时能够按LL(1)形式可唯一地确定选择某个候选进行推导。 限制：对文法要求高，必须满足LL(1)文法；由于递归调用多，速度慢，占用空间多。 2.预测分析法 预测分析器： 预测分析程序（P.88） 先进后出栈 预测分析表 预测分析表的构造 表达式文法： E →E+T | T T →T*F | F F → i | ( E ) 构造过程 1.判断文法是否为LL(1)文法 消除左递归： E →E+T | T T →T*F | F F → i | ( E ) E →TEE → +TE | ε T →FTT → *FT | ε F → i | ( E ) 可推出 ε 的非终结符表： E →TEE → +TE | ε T →FTT → *FT | ε F → i | ( E ) E E T T F 否 是 否 是 否 各非终结符的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)={ * , + , ) , # } E →TEE → +TE | ε T →FTT → *FT | ε F → i | ( E ) 查看FOLLOW定义 查看FIRST定义 各产生式的SELECT集： E →TEE → +TE | ε T →FTT → *FT | ε F → i | ( E ) SELECT(E →TE) ={ ( , i } SELECT(E → +