第5章自顶向下语法分析方法重点.ppt

第5章 自顶向下语法分析方法 教学要求：本章介绍编译程序的第二个阶段语法分析的设计方法和实现原理，包括自上而下分析的无回朔的递归下降分析、 LL(1)分析法。要求理解递归下降分析、LL(1)文法的基本概念；掌握LL(1)分析表的构造与分析方法。 教学重点：LL(1)文法，预测分析表构造，LL（1）分析法。 5.1 确定的自顶向下分析思想 文法G1[S]:S→pAS→qBA→cAdA→aB→dBB→b 确定的自顶向下分析 1、基本思想： 从识别符出发，不断建立直接推导，试图构造一个推导序列，最终由它推导出与输入符号串相同的符号串。 2、遇到问题: （1）回溯（出现若干个左部相同的产生式） （2）无限循环（文法出现左递归） 3、解决方法： （1）避免回溯 （2）消除左递归 为了避免回溯,先研究三个定义： 符号串α的开始符号FIRST集 非终结符A后跟符号FOLLOW集 产生式的选择集合SELECT集 定义：设 G = (VT ,VN , S , P) 是上下文无关文法，FIRST(α) = {a|α aβ,a∈ VT,α,β∈V*}若α ε，则规定ε∈FIRST(α) FIRST(Ap)={a,c} FIRST(Bq)={b,d} 2、非终结符A后跟符号FOLLOW集的定义： 定义：设 G = (VT ,VN , S , P) 是上下文无关文法，A∈VN , S是开始符号。 FOLLOW(A)={a|S …Aa… ,a∈VT} 若S …A，则规定 #∈FOLLOW(A) 3、产生式A→α的选择集合SELECT的定义： （确定选择那个产生式来推导） 定义：给定上下文无关文法的产生式A→α，A∈VN , α∈V*，若α ε，则 SELECT(A→α)=FIRST(α)如果α ε，则 SELECT(A→α)=(FIRST(α)-{ε})∪FOLLOW(A) 例： S→aA S→d A→ε A→bAS SELECT(S→aA)=FIRST(aA)={a} SELECT(S→d)=FIRST(d)={d} SELECT(A→ε)=FOLLOW(A)={a，d，#} SELECT(A→bAS)=FIRST(bAS)={b} 定义：一个上下文无关文法是LL(1)文法的充要条件是： 对每个非终结符A的任两个不同产生式A→α和A→β，满足SELECT(A→α)∩SELECT(A→β)=Φ其中α,β不能同时 ε LL(1)文法的含义： 第一个L表示：自顶向下分析是从左向右扫描输入串。 第二个L表示：分析过程中将用最左推导。 1表示：只需向右看一个符号便可决定如何推导（即选择哪个产生式进行推导）。 类似也可以有LL(K)文法：需向前查看K个符号才可确定选用哪个产生式。 文法G[S]是否是LL(1)文法:S→aAS→dA→bASA→ε 例：文法G[S] 为:S→aASS→bA→bAA→ε 5.2 LL(1)文法的判别 求出能推出ε的非终结符 计算FIRST集 计算FOLLOW集 计算SELECT集 判别是否是LL(1)文法 例：设文法G[S] 为:S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c判断它是否是LL(1)文法。 1.求出能推出?的非终结符 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 2.计算FIRST集 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 3.计算FOLLOW集 (1)对于文法的开始符号S,置#于FOLLOW(S)中; (2)若Ａ→αBβ是一个产生式, 则把FIRST(β)-{?}加至FOLLOW(B)中; S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 4.计算SELECT集 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 5.3 某些非LL(1)文法到LL(1)文法 的等价变换 LL(1)文法的性质： LL(1)文法不含左公共因子 LL(1)文法不含左递归 1、提取左公共因子 例1：消除下面文法的左公共因子 例2：消除下面文法的左公共因子 2、消除左递归 直接左递归：A→Aβ A?VN, β?V* 间接左递归：A→BβB→Aα A,B?VN, α,β?V* （1）消除直接左递归 把直接左递归改写为右递归 如G5:S→SaS→b(L={ban|n≥