编译原理4.4递归下降分析程序构造(论文资料).pptVIP

第四章 4.1 语法分析器的功能 4.2 自上而下分析面临的问题 4.3 LL(1)分析法 4.4 递归下降分析程序构造 4.5 预测分析程序 4.6 LL(1)分析中的错误处理 4.4 递归下降分析程序构造 前提: 文法满足LL(1)文法 实现思想: 每个非终结符对应一个递归过程 约定的数据结构和函数 IP: 输入串指示器 SYM: IP当前所指的输入符号 ADVANCE: 使IP指向下一输入符号 getsym , NextCh ERROR: 出错诊察处理程序 p74 文法 (4.2) E → TE E→ +TE|ε T → FT T→ *FT|ε F → (E) | i E → TE PROCEDURE E; BEGIN T;E ′ END E→ +TE|ε PROCEDURE E′; IF SYM=‘+’ THEN BEGIN ADVANCE; T;E′ END F → (E) | i PROCEDURE F; IF SYM= ‘i’ THEN ADVANCE ELSE IF SYM=‘(‘ THEN BEGIN ADVANCE; E; IF SYM=‘)‘ THEN ADVANCE; ELSE ERROR END ELSE ERROR 基本架构(1)U→u1 | u2 |…| un U( ) { if (sym ∈SELECT(U→u1) ) 处理u1 else if (sym ∈SELECT(U→u2) ) 处理u2 … … else ERROR } 基本架构(2)对于U的每个右部ui=x1x2…xn 处理ui 处理x1的程序； 处理x2的程序； … … … 处理xn的程序； 如果右部为ε, 则不处理 基本架构(3)对于右部中的每个符号xi xi∈VT if(xi = =sym) { ADVANCE; return; } else ERROR xi∈VN xi( ) //直接调用相应的过程 基本架构(4)  s?x* while sym∈select (s?x) do x 补充例: 用递归下降分析程序进行句型分析 G: S?bA A?BaA|? B?ab 输入串 baba# SELECT(S?bA) = {b} SELECT(A?BaA)= {a} SELECT(A??)= {#} SELECT(B?ab) = {a} 主程序 program parser begin getsym; S; If sym= ‘#’ Success else fail end S?bA procedure S begin if sym in SELECT(S?bA) //{b} if sym = ‘b’ getsym; A else error else error end A?BaA|? procedure A begin if sym in SELECT(A?BaA) //{a} B if sym = ‘a’ getsym; A; else error else if sym in SELECT(A??) //{#} else error end B?ab procedure B begin if sym in SELECT(B?ab) //{a} if sym = ‘a’ getsym; if sym = ‘b’ getsym; else error else error else error end *EBNF和语法图 p75 T → FT PROCEDURE T; BEGIN F;T′ END T→ *FT|ε PROCEDURE T; IF SYM=‘*’ THEN BEGIN ADVANCE; F;T′ END 补充 ∩=? G: S?bA A?BaA|? B?ab 输入串 baba# S b A A B a b a ε