第二章_pl0编译程序的实现.pptVIP

PL/0编译程序的实现 主要内容 PL/0语言描述 PL/0编译程序 结构 词法分析 语法分析 目标代码生成 语法错误处理 解释执行时的存储分配 加入第九章和第十章的内容 本章目的 以PL/0为例学习编译程序实现的基本步骤和相关技术，熟悉并理解编译程序的基本原理和概念。 2.1 PL/0语言描述 它由世界著名计算机科学家N.Wirth编写 PL/0语言：PASCAL语言的子集，功能简单，结构清晰，可读性强，具备了一般高级语言的必备部分 它充分体现一个高级语言编译程序实现的基本方法和技术 本书提供了两种形式的PL/0语言的语法描述： 语法图：用语法图描述语法规则的优点是直观、易读 EBNF PL/0的非形式化描述 数据类型只有整型 标识符的有效长度是10，以字母开始的字母数字串 数最多为14位 作用域规则（内层可引用包围它的外层定义的标识符) 过程无参，可嵌套定义（最多三层），可递归调用 语句类型： 赋值语句，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程序示例 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; 2.1.2 PL/0语言文法的EBNF表示 BNF（BACKUS-NAUR FORM）是根据美国的John W.Backus与丹麦的Peter Naur来命名的，它从语法上描述程序设计语言的元语言。采用BNF就可说明哪些符号序列是对于某给定语言在语法上有效的程序 BNF引入的符号： 用左右尖括号括起来的语法成分为非终结符∷= 表示该符号的左部由右部定义； | 表示 ‘或’，左部可由多个右部定义； EBNF引入的符号：{ } 表示花括号内的语法成分可重复[ ] 表示方括号内的语法成分为任选项( ) 表示圆括号内的成分优先 2.2 PL/0编译程序的结构 PL/0的目标程序为假想栈式计算机的汇编语言，与计算机无关 PL/0的编译程序和目标程序的解释执行程序可用各种语言编写。 2.2 PL/0编译程序的结构 1、 PL/0编译程序的特点 （1）编译程序采用一遍扫描方式，以语法分析程序为核心，词法分析程序和代码生成程序为一个独立过程，被语法分析程序所调用。 （2）用表格管理程序建立变量，常量和过程标识符的说明与引用之间的信息联系。 （3）用出错处理程序对词法和语法分析遇到的错误给出在源程序中出错的位置和错误性质。 （4）当源程序编译正确时， PL/0编译程序自动调用解释执行程序，对目标代码进行解释执行。 2. PL/0编译程序的结构 下面对Pascal语言书写的PL/0编译程序构造技术进行分析说明 PL/0编译程序（包括主程序）是由18个嵌套及并列的过程 或函数组成: 2.3PL/0编译程序的词法分析 词法分析程序GETSYM 功能 识别单词作为语法分析的输入，单词分为关键字、运算符、界符、标识符和常数，其中前三类称为固有单词，后二类称为用户定义单词。 PL/0编译程序设置的三个全程变量： SYM：存放单词的类别,如beginsym, ident ID： 存放用户所定义的标识符的值 NUM：存放用户定义的数 单词的种类： 关键字（保留字）：BEGIN、 END、 IF、 THEN等 运算符： 如+、-、*、/、：=、#、=、=等 标识符： 用户定义的变量名、常数名、过程名 常数： 如10、25、100等整数 界符： 如‘,’、‘.’ 、‘;’ 、‘(’ 、‘)’等 词法分析程序GETSYM所要完成的任务： 滤空格 识别保留字 识别标识符 拼数 拼复合词 输出源程序 具体程序： PL/0编译程序设置的三个全程变量 sym：存放单词的类别,如beginsym, ident id： 存放用户所定义的标识符的值 num：存放用户定义的数 3个数组 word：存放PL/0语言的13个保留字 wsym：保留字的类别 ssym：单符号的类别 enum symbol //枚举类型 单词的类别值 {nul,ident,number,plus,minus,times,slash,oddsym,