第4章 语法分析自上而下分析.ppt

* LL(1)分析法 例子4： 对于文法 E?TE’ E’ ?+TE’|? T ?FT’ T’ ?*FT’| ? F ?(E)| i 构造每个非终结符的FIRST和FOLLOW集合,判断是否为LL(1)文法 解： FIRST(E) = { (, i } FOLLOW(E) ={ ), # } FIRST(E’) = {+, ? } FOLLOW(E’) = { ), #} FIRST(T) = {(, i } FOLLOW(T) = {+, ), # } FIRST(T’) = {*, ? } FOLLOW(T’) ={+ , ), # } FIRST(F) = {(, i } FOLLOW(F) ={*, +, ) , # } 在这里我们要注意FOLLOW(F)的求解过程，其中： FOLLOW(F)=FIRST(T’)- ? ={*}; 因为T’? ? ,所以将FOLLOW(T)加到FOLLOW(F)中 （由于T?FT’), 则：FOLLOW(F)= {*}+ FOLLOW(T)={*,+,),#} 是LL(1)文法。 * LL(1)分析法 例子5：判断下面文法是不是LL(1)文法： S ? if E then S else S | if E then S | other E ?b 解：首先对文法进行改造，消除文法左递归和提取公共左因子；文法改写为： S ? if E then S S’|other S’ ? else S| ? E ?b * LL(1)分析法 第2步求首符集和随符集 First(S)={if,other}, First(S’)={else, ?} First(E)={b} Follow(S)= Follow(S’)={else,#} Follow(E)={then} 第3步：根据定理判定文法是不是LL(1)文法。 因为：1) First(if E then S S’) ∩ First(other)= ? First(else S) ∩First(?)= ? 但2) First(else S) ∩Follow(S’)={else}不为空集 故此文法不是LL(1)文法。 * 4.4 递归下降分析程序构造 递归下降分析器 扩充的巴斯科范式 递归下降分析器 当一个文法满足LL(1)条件时，我们就可以构造一个不带回溯的自上而下分析程序，这个分析程序由一组递归过程组成，每个过程对应文法的一个非终结符。这样一个分析程序称为递归下降分析器。 递归下降分析程序实现思想 为文法中每个非终结符编写一个递归过程，每个过程的功能是识别由该非终结符推出的串，当某非终结符的产生式有多个候选式时，按LL(1)形式唯一确定选择哪个候选式进行推导，若遇到某候选式为?，认为其自动匹配。把这些递归过程组合起来就构成了文法的递归下降分析程序。 * 递归下降分析程序构造 递归下降分析法的缺点 (1)对文法的要求高，必须满足LL(1)文法。 (2)高深度的递归调用会影响语法分析的效率,速度慢,占空间多。 扩充的巴斯科范式 在前面的上下文无关文法产生式(巴斯科范式)我们只用到了两个元符号“→”和“|”。下面对巴科斯范式进行扩充： (1)用花括号{?}表示闭包运算?* (2)用{?}0n表示?可以任意重复0次至n 次， {?}00=?。 (3)用方括号[?]表示{?}01，即表示?的出现可有可无。 如，“实数”可定义为： decimal→[sign]integer.{degit}[exponent] exponent→E[sign]integer integer→digit{digit} sign→+|- * 4.5 预测分析程序 使用高级语言的递归过程描述递归下降分析器，只有当具