第2章PL-0编译程序的实现.ppt

2.1 PL/0语言描述 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的语法语义分析 2.4 PL/0编译程序的错误处理 2.5 类pcode代码解释器 本章目的：以PL/0为实例,学习编译程序实现的基本步骤和相关技术 PL/0语言简介 PL/0编译程序 PL/0语言 PL/0程序示例 PL/0的语法描述图 PL/0语言文法的EBNF表示 PL/0语言：PASCAL语言的子集 PL/0程序示例 CONST A=10; （* 常量说明部分 *）  VAR B,C; （* 变量说明部分 *） PROCEDURE P; （* 过程说明部分 *） VAR D; PROCEDURE Q; VAR X; BEGIN READ(X); D:=X; WHILE X#0 DO CALL P; END; BEGIN WRITE(D); CALL Q; END; BEGIN CALL P; END. PL/0编译程序的总体设计 其编译过程采用一趟扫描方式 以语法、语义分析程序为核心 词法分析程序和代码生成程序都作为一个过程，当语法分析需要读单词时就调用词法分析程序，而当语法、语义分析正确，需要生成相应的目标代码时，则调用代码生成程序。 表格管理程序实现变量，常量和过程标识符的信息的登录与查找。 出错处理程序，对词法和语法、语义分析遇到的错误给出在源程序中出错的位置和与错误 性质有关的编号，并进行错误恢复。 2.3 PL/0编译程序的词法分析 识别的单词： 保留字或关键字：如：BEGIN、 END、 IF、 THEN等 运算符： 如：+、-、*、/、：=、#、=、=等 标识符： 用户定义的变量名、常数名、过程名 常数： 如：10、25、100等整数 界符： 如：‘,’、‘.’ 、‘;’ 、‘(’ 、‘)’等 词法分析过程GETSYM所要完成的任务： 读源程序（getch) 滤空格 识别保留字 识别标识符 拼数 识别单字符单词 拼双字符单词 词法分析过程:GETSYM框图（见教材图2.5） 程序（ procedure getsym） 当识别到标识符时先查保留字表 使用状态转换图实现词法分析程序的设计方法 词法分析程序的设计---使用状态转换图实现 2.4 PL/0编译程序语法语义分析 自顶向下的语法分析 递归子程序法 自顶向下的语法分析 VAR A; BEGIN READ(A) END. 程序 分程序 . 变量说明部分 语句 VAR 标识符 ； 复合语句 A BEGIN 语句 END 读语句 READ （ 标识符 ） A 递归子程序法 递归子程序法：对应每个非终结符语法单元，编一个独立的处理过程（或子程序）。语法分析从读入第一个单词开始，由非终结符程序（即开始符）出发，沿语法描述图箭头所指出的方向进行分析。当遇到非终结符时，则调用相应的处理过程，从语法描述图看，也就进入了一个语法单元，再沿当前所进入的语法单元所指箭头方向继续进行分析。当遇到描述图中是终结符时，则判断当前读入的单词是否与图中的终结符相匹配，若匹配，再读取下一个单词继续分析。遇到分支点时，将当前的单词与分支点上多个终结符逐个相比较，若都不匹配时可能是进入下一个非终结符语法单位或是出错。 例：如何用递归子程序法实现表达式的语法分析 因子的语法图 因子 表达式的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