第二章 PL0译程序的实现.pptVIP

第二章 PL/0编译程序的实现 本章目的：以PL/0为例学习编译程序实现的基本步骤和相关技术，熟悉并理解编译程序的基本原理和概念。 第二章 PL/0编译程序的实现 步骤1、 认识源语言PL/0与目标代码pcode及它们之间的映射 步骤2、 PL/0编译程序的总体设计 步骤3、 PL/0编译程序词法分析的设计与实现 步骤4、 PL/0编译程序语法语义分析的设计与实现 第二章 PL/0编译程序的实现 步骤5、 PL/0编译程序代码生成的实现 步骤6、 PL/0编译程序语法错误处理的实现 步骤7、 pcode代码解释器的设计与实现 步骤1、认识源语言PL/0与目标代码pcode及它们之间的映射 何为PL/0语言? 认识目标代码pcode PL/0程序到pcode代码的映射 何为PL/0语言? PL/0语言：PASCAL语言的子集，功能简单，结构清晰，可读性强，具备了一般高级语言的必备部分 PL/0程序示例 PL/0的非形式描述 PL/0的语法描述图 PL/0语言文法的EBNF表示 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; PL/0非形式描述 数据类型只有整型 标识符的有效长度是10，以字母开始的字母数字串 数最多为14位 过程无参，可嵌套（最多三层），可递归调用 变量的作用域同PASCAL，常量为全局的，无标号 PL/0非形式描述 语句类型：赋值语句，if...then..., while...do..., read, write, call, 复合语句begin... end， 说明语句： const..., var..., procedure… 13个保留字：if, then, while, do, read, write, call, begin, end, const, var, procedure, odd PL/0的语法描述图 PL/0语言文法的EBNF表示 BNF与EBNF的介绍BNF（BACKUS-NAUR FORM）是根据美国的John W.Backus与丹麦的Peter Naur来命名的，它从语法上描述程序设计语言的元语言。采用BNF就可说明哪些符号序列是对于某给定语言在语法上有效的程序。 PL/0语言文法的EBNF表示 BNF与EBNF的介绍BNF引入的符号： 用左右尖括号括起来的语法成分为非终结符∷= ‘定义为’| ‘或’EBNF引入的符号：{ } 表示花括号内的语法成分可重复[ ] 表示方括号内的语法成分为任选项( ) 表示圆括号内的成分优先 PL/0语言文法的EBNF表示 BNF与EBNF的介绍一个用EBNF描述的例子：整数∷=[+|-]数字{数字}数字∷=0|1|2|3|4|5|6|7|8|9 PL/0语言文法的EBNF表示 BNF与EBNF的介绍整数∷=[+|-]非零数字{数字}|0非零数字∷=1|2|3|4|5|6|7|8|9 数字∷=0|1|2|3|4|5|6|7|8|9 PL/0语言文法的EBNF表示 PL/0语言文法的EBNF表示〈程序〉∷=〈分程序〉.〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉〈常量说明部分〉∷=CONST〈常量定义部分〉{，〈常量定义〉}；〈无符号整数〉∷=〈数字〉{〈数字〉}〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}；〈标识符〉∷=〈字母〉{〈字母〉|〈数字〉}…… 认识目标代码pcode 目标代码pcode是一种假想栈式计算机的汇编语言。 指令格式 PL/0程序到pcode代码的映射 const a=10;var b,c;procedure p; begin c:=b+a; end;begin read(b); while b#0 do begin call p; write(2*c); read(b); endend. 步骤2 PL/0编译程序的总体设计 步骤2 PL/0编译程序的总体设计 其编译过程采用一趟扫描方式 以语法分析程序为核心 词法分析程序和代码生成程序都作为一个独立的过程，当语法分析需要读单词时就调用词法分析程序，而当语法分析正确需要生成相应的目标代码时，则调用代码生成程序。 步骤2 PL/0编译程序的总体设计 用表格管理程序建立变量，常量和过程标识