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

第4章 自上而下语法分析 §4.1 引言 1. 任务 §4.2 LL(1)分析法 1.消除左递归 5.LL(1)语法分析方法 6. 细化的递归下降程序 §4.4 预测分析程序 2. 分析算法 §4.5 构造预测分析表 2. 计算FOLLOW集 §4.6 LL(1)分析中的错误处理 接收# S 19 E调用E’ # E’ S⑴E⑶ 16 E’返回 # E S⑴ 17 E返回 # S 18 T’返回 # T’ S⑴E⑵T⑺ 13 T’返回 # T S⑴E⑵ 14 T返回 # E S⑴ 15 T’调用T’ # T’ S⑴E⑵T⑺T’⑼ 12 F返回 # T’ S⑴E⑵T⑺ 11 S结束 20 当前过程 备注 输入串 未完成过程(调用处) 输入串：#i*i# [续] S结束，输入串为空，分析结束，是句子。 5. 扩充的BNF范式及相应的递归下降程序 增加元符号：{ }、[ ]， （原来已经有：→、|） ⑴ {a}: 表示a可重复0 ～ n 次； ⑵ [a]: 表示a的出现可有可无； 例： G[S]： S →#E# E → E+T|T T → T*F|F F → (E)|i G’[S]： S →#E# E → T{+T} T → F{*F} F →(E)|i G[S]：S→#E# E→T{+T} T→F{*F} F→(E)|i ∵ S、F的产生式不变，∴与前面的递归下降程序相同。 Procedure E Begin T ； While SYM=‘+’ do Begin ADVANCE; T ; End; End; 递归下降分析程序 Procedure T Begin F ； While SYM=‘*’ do Begin ADVANCE; F ; End; End; 做法：用First、Follow集合细化递归下降程序。 优点：⑴ 改进后的递归下降程序执行效率高； ⑵ 某些文法必须使用细化的递归下降程序； 普通： Procedure A Begin α ； End; 细化： Procedure A Begin If SYM IN First(α) then α Else ERROR End; ⑴ 细化方式一：若 A→α，引入FIRST集进行检查 ⑵ 细化方式二： A→α1| α2| …| αn 且ε∈FIRST(A) , 检查 a∈FOLLOW(A)？ 若不属于，则报错； Procedure A Begin If SYM IN First(α1) then α1 … Else If SYM IN First(αn) then αn End; 普通递归下降程序： 细化： Procedure A Begin If SYM IN First(α1) then α1 … Else If SYM IN First(αn) then αn Else If sym IN Follow(A) Then Else ERROR End; 例：G[S]： S →#E# E→ TE’ E’→ +TE’|ε T→ FT’ T’→ *FT’|ε F→(E)| i First α { i , ( } TE’ Procedure E Begin If SYM=‘i’ OR SYM=‘(’ Then Begin T ; E’ End Else ERROR End; Procedure E Begin T ；E