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

第4讲 自顶向下语法分析方法 确定的自顶向下分析思想 LL(1)文法的判别 某些非LL(1)文法到LL(1)文法的等价变换 不确定的自顶向下分析思想 确定的自顶向下分析方法 一、确定的自顶向下分析思想 文法G1[S]:S→pAS→qBA→cAdA→aB→dBB→b 2、如果两个产生式有相同的左部，那么它们的右部由不同的终结符开始。 文法G2[S]:S→ApS→BqA→aA→cAB→bB→dB 3、文法中无空产生式。 定义：设 G = (VT ,VN , S , P) 是上下文 无关文法，FIRST(α) = { a|α aβ,a∈ VT, α,β ∈ V* }若α ε，则规定ε∈ FIRST(α) FIRST(Ap)={a,c} FIRST(Bq)={b,d} 文法G3[S]:S→aAS→dA→bASA→ε 定义：设 G = (VT ,VN , S , P) 是上下文无关文法，A∈VN , S是开始符号。  FOLLOW(A) = {a|S ?A?且a∈FIRST(?), ?∈V*,?∈V+ } 若S ?A?,且? ε，则规定 #∈FOLLOW(A) 对于 A→α A→β其中A∈VN , α, β ∈VN* 当α和β不同时推导出空时（设 α不推导 出空，β推导出空），则当FIRST(α)∩(FIRST(β)∪FOLLOW(A)) = Φ 时，对于非终结符A的替换仍可唯一地 确定候选。 定义：给定上下文无关文法的产生式 A→α，A∈VN , α∈V*，若α ε， 则 SELECT(A→α)=FIRST(α) 如果α ε，则SELECT(A→α)=FIRST(α)∪FOLLOW(A) 定义：一个上下文无关文法是LL(1)文法的充要条件是：对每个非终结符A的两个不同产生式A→α和A→β，满足SELECT(A→α)∩SELECT(A→β)=Φ其中α,β不能同时 ε LL(1)文法的含义： 第一个L表示：自顶向下分析是从左向右扫描输入串。 第二个L表示：分析过程中将用最左推导。 1表示：只需向右看一个符号便可决定如何推导（即选择哪个产生式进行推导）。 类似也可以有LL(K)文法：需向前查看K个符号才可确定选用哪个产生式。 文法G[S]是否是LL(1)文法?S→aA S→d A→bAS A→ε 设文法G[S] 为:S→aAS S→b A→bA A→ε 二、LL(1)文法的判别 求出能推出ε的非终结符 计算FIRST集 计算FOLLOW集 计算SELECT集 判别是否是LL(1)文法 例：设文法G[S] 为:S→AB S→bCA→ε A→bB→ε B→aDC→AD C→bD→aS D→c判断它是否是LL(1)文法。 1.求出能推出ε的非终结符 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 2.计算FIRST集 1.若X?V?,则FIRST(X)={X} 2.若X?VN,且有产生式X?a…，则 a∈FIRST(X); 若X??也是一条产生式,则 ?∈FIRST(X). S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 3.计算FOLLOW集 1.对于文法的开始符号S,置#于FOLLOW(S)中; S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 4.计算SELECT集 S→ABS→bCA→εA→bB→εB→aDC→ADC→bD→aSD→c 三、某些非LL(1)文法到LL(1)文法的等价变换 提取左公共因子 消除左递归 1、提取左公共因子 A→αβ|αγ导致SELECT(A→αβ)∩ SELECT(A→αγ)≠Φ，因此是非LL(1)文法。 例：文法G1[S] 为:S→aSbS→aSS→ε 例：文法G2为:A→ad A→Bc B→aA B→bB 结 论 不一定每个文法的左公共因子都能在有限的步骤内替换成无左公共因子的文法，文法中不含左公共因子只是LL(1)文法的必要条件。 2、消除左递归