编译原理讲义解析.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * type symbol=(nul,ident,number,plus,minus,times,slash,oddsym, eql,neq,lss,leq,gtr,geq,lparen,rparen,comma, semicolon,period,becomes,beginsym,endsym,ifsym, thensym,whilesym,writesym,readsym,dosym,callsym, constsym,varsym,procsym); sym:symbol; (*last symbol read*) * * * * * * * * * * * * 如何用递归子程序法来实现表达式的语法分析 表达式的EBNF〈表达式〉∷=[+|-]〈项〉{（+|-）〈项〉}〈项〉∷=〈因子〉{（*|/）〈因子〉}〈因子〉∷=〈标识符〉|〈无符号整数〉|‘（’〈表达式〉‘）’ * 如何用递归子程序法来实现表达式的语法分析 〈表达式〉的实现procedure expr;begin if sym in [ plus, minus ] then begin getsym; term;  end else term; while sym in [plus, minus] do begin getsym; term; endend; * 如何用递归子程序法来实现表达式的语法分析 〈项〉的实现procedure term;begin factor; while sym in [ times, slash ] do begin getsym; factor; endend; * 如何用递归子程序法来实现表达式的语法分析 〈因子〉的实现procedure factor;begin  if sym # ident then begin if sym # number then  begin if sym = ‘(‘ then begin getsym; expr; if sym = ‘)’ then getsym else error end else error end endend; 程序 pl0 分程序 block 语句 statement 条件 condition 表达式expression 项 term 因子 factor PL/0语法调用关系图 编译程序总体流程图 * 程序BLOCK过程的流程图 见课本18页 * 语义分析与处理 说明部分的分析对每个过程说明的对象（变量，常量和过程）造名字表 填写所在层次，标识符的属性和分配的相对位置。标识符的属性不同时，所需填入的信息也不同。登录信息由ENTER过程完成。 表格管理 过程体的分析  CONST A=35，B=49；VAR C，D，E；PROCEDURE P；VAR G 表格管理 名字 类型 层次/值 地址 存储空间 变量定义语句的处理 if sym=varsym thenbegin getsym; repeat vardeclaration; while sym=comma do begin getsym; vardeclaration end; if sym=semicolon then getsym else error(5) until symident;end; * 变量定义语句的处理 procedure vardeclaration; begin if sym=ident then begin enter(variable); getsym end else error(4) end(*vardeclaration*); * 过程ENTER的实现 procedure enter(k:obj