4-第四章_自上而下语法分析.pptVIP

第4章 自上而下语法分析;§4.1 引言;;递归下降分析：采用程序语言的递归功能，为每一 个非终结符写一个分析子程序； 预测分析：分析表 ＋ 栈 ＋ 分析算法；;⑴ 左递归 * 若存在形如：P Pα的推导，称文法是左递归的。 * 左递归文法中，若存在形如：P → Pα的产生式， 称此产生式是左递归的，称此文法是直接左递归的； 否则称文法是间接左递归的。;;;只讨论不带回溯的自上而下语法分析法。 因此：要检查文法是否符合此要求 符合要求=〉LL(1)文法 不符合要求=〉改造文法；若还不行，重写文法。;§4.2 LL(1)分析法;1.消除左递归;;⑵ 消除间接左递归 通过替换，将间接左递归文法变为直接左递归文法； 消除直接左递归；;; ;2. 提取左公共因子; ;某些情况下，无左递归，无公共左因子， 但分析句子时，仍有困难。;对VT ：∵ a=a ∴ FIRST(a)={a} FIRST(x)={x}, FIRST(y)={y} 对VN ： ∵ A=y ∴ FIRST(A)={y} ∵ B=x ∴ FIRST(B)={x} ∵ S=Ax=yx , S=By=xy ∴ FIRST(S)={y，x};VT ：FIRST(x)={x} FIRST(y)={y} VN ：FIRST(A)={y} FIRST(B)={x} FIRST(S)={y，x} (VT∪VN)* : ∵ Ax=yx ∴ FIRST(Ax)={y} ∵ By=xy ∴ FIRST(By)={x} 输入串：yx S = Ax = yx;文法 G[S]，A∈VN , 随符集FOLLOW定义为： FOLLOW(A)={ a | S ··· Aa ··· , a∈VT } 若S ··· A ， 则： #∈FOLLOW(A) FOLLOW(A)是所有句型中出现在A之后的终结符，或#。 ∵ S=S ∴ #∈FOLLOW(S);定义：一个上下文无关文法是LL(1)文法的充要条件是： 1)、文法中每个非终结符A的候选式的终结首符集 两两不相交； 即：若：A→α1 |α2 | … |αn 则：FIRST(αi ) ∩ FIRST(αj ) = Φ 1≤i, j≤n， i ≠ j 2)、对于文法中每个非终结符A， A→α1 |α2 | … |αn 若： ε∈FIRST(αi )， 1≤i≤n 则： FIRST(A) ∩ FOLLOW(A) = Φ;5.LL(1)语法分析方法;例: G[S]: S → At|B A → y|ε B → xCt C → z|ε FIRST(S)={y,t,x},FIRST(A)={y,ε} FIRST(B)={x}, FIRST(C)={z,ε} FIRST(At)={y,t}, FIRST(xCt)={x} FOLLOW(S)={ # }, FOLLOW(A)={ t } FOLLOW(B)={ # }, FOLLOW(C)={ t } 判定LL(1): FIRST(At)∩ FIRST(B) = φ √ FIRST(y)∩ FIRST(ε) = φ √ FIRST(z)∩ FIRST(ε) = φ √ A →ε FIRST(A)∩FOLLOW(A)=φ√ C →ε FIRST(C)∩FOLLOW(C)=φ√ ∴ 文法是LL(1)的。 ;§4.3 递归下降分析程序;语法分析主程序： 调用文法开始符号S的子程序， S的子程序执行完，则分析正常结束； 若分析过程中发现错误，报“语法错”。;2. 辅助内容： SYM：变量，存放输入串中的当前单词符号； （词法分析的结果） ADVANCE：过程，接受当前符号，并从输入串中 读入一个新的符号，放入SYM； ERROR ：过程，错误处理子程序；;例： S →#E#;例：E→ TE’ E’→ +TE’ | ε;例：G[S],递归下降语法分析程序： S →#E# E→ TE’ E’→ +TE’|ε T→ FT’ T’→ *FT’|ε F→ (E)|i ;Procedure T’ begin If SYM=‘*’ Then