编译原理433-LL分析条件.pptVIP

第四章 4.1 语法分析器的功能 4.2 自上而下分析面临的问题 4.3 LL(1)分析法 4.4 递归下降分析程序构造 4.5 预测分析程序 4.6 LL(1)分析中的错误处理 4.3 LL(1)分析法 4.3.1 左递归的消除 4.3.2 消除回溯、提左因子 4.3.3 LL(1)分析条件 4.3.3 LL(1) 分析条件 例4.4 G: 文法4.2 p69 E → E+T | T T → T*F | F F → (E) | i 消除左递归: G: E → TE E→ +TE|ε T → FT T→ *FT|ε F → (E) | i G: E → TE E→ +TE|ε T → FT T→ *FT|ε F → (E) | i 输入串 i＋i FOLLOW集 后跟符号集合 FOLLOW(A) = {a |S …Aa… , 且a∈VT} 若有S …A , 则规定 #∈FOLLOW(A) 小结: 确定的自上而下分析的3种情况 1. 文法中无空产生式 相同左部的两个产生式，它们的右部由不同的终结符开始。 2. 文法中无空产生式 相同左部的两个产生式，它们的右部由不同的非终结符开始 3. 文法中有空产生式 LL(1)文法 (1) 文法不含左递归 (2) 文法中每个非终结符A满足 A→α1 |α2 |…|αn 则: FIRST(αi)∩FIRST(αj)=? (i≠j) (3) 文法中每个非终结符A , 若它存在某个候选首符集包含ε, 则 FIRST(A)∩FOLLOW(A) = ? LL(1)文法 的确定的自上而下分析过程 A→ α1 |α2 |…|αn 输入符号a (1) 若a属于FIRST(αi ), 用αi 匹配 (2) 若a不属于任何FIRST(αi ), 则: ① 若ε∈FIRST(αi ) 且 a∈FOLLOW(A), 则让A与ε匹配. ② 否则, a的出现是一种语法错误 补充例:判断文法是否为LL(1)文法 G： 　　 S→aA　　 S→d　　 A→bAS　　 A→ε FIRST(aA)={a} FIRST(d)={d} FIRST(bAS)={b} FIRST(ε)={ε} FIRST(A)={b, ε} FOLLOW(A)={#, a,d} 补充: SELECT集 选择集合 给定上下文无关文法的产生式A→α, A∈VN, α∈V*, 若α ε， SELECT(A→α) = FIRST(α) 若α ε， SELECT(A→α) = (FIRST(α)－{ε})∪ FOLLOW(A) 补充: 一个上下文无关文法是LL(1)文法的 充分必要条件 每个非终结符A的两个不同产生式，A→α, A→β满足 SELECT(A→α)∩SELECT(A→β) = φ 　　 其中α,β不同时能 ε 补充例:判断文法是否为LL(1)文法 G： 　　 S→aA　　 S→d　　 A→bAS　　 A→ε SELECT(S→aA)={a}　　SELECT(S→d)={d}　　 SELECT(A→bAS) ={b}　　SELECT(A→ε) = {a, d, #} 补充: 非LL(1)文法的等价变换 空字ε属于某个非终结符的FIRST集 E T E F T i ε + E T F T i ε ε 分析过程确定 G: S→ aA | d A→bAS | ε 输入串abd 补充例 1 S a A b S A ε d 文法特点： 1)某一非终结符的产生式中含有空产生式 2)它的非空产生式右部的终结首符集两两不相交，并与在推导过程中紧跟该非终结符后边可能出现的终结符集也不相交，则仍可构造确定的自上而下分析 分析过程确定 G: S→aAS | b A→bAS|ε 输入串ab 补充例 2 S a A S b A S S a A S ε b 不确定分析 回溯 ‘#’：输入串的结束符、句子括号. 如：#输入串# ? * ? * Follow(A) 是所有句型种出现在紧跟A之后的终结符或 # 当非终结符A面临输入符号a,且a不属于A的任意候选首符集, 但A的某个候选首符集包含ε时, 只有当a?FOLLOW(A), 才能允许A自动匹配. p73 G1 : S → pA |qB A →cAd |a B →dB |c FIRST集 G2 :