《2第二章PL编译程序的实现.ppt

第二章 PL/0编译程序的实现 第二章 PL/0编译程序的实现 学习目标： 以PL/0语言为例对编译程序的构造得到感性认识和初步了解，对编译程序的实现建立起整体概念。 2.1 PL/0语言 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的词法分析 2.4 PL/0编译程序的语法、语义分析 2.5 PL/0编译程序的目标程序结构和代码生成 2.6 PL/0编译程序的语法错误处理 2.1 PL/0语言 1 PL/0程序示例 2 PL/0的语言的描述 3 PL/0语言：PASCAL语言的子集 1 PL/0程序示例 const A=10; (*常量说明部分*) var B,C; (*变量说明部分*) procedure P; (*过程说明部分*) begin call P; (*主程序体*) end. 2 PL/0的语言的描述 PL/0语言语法的描述工具是文法: 文法:使得无穷的句子集可以用有穷的规则来描述的工具 终结符：构成文法的单词，是语法成分的最小单位 非终结符：是一个语法成分，在书写语言程序时并不存在，由终结符和非终结符串或终结符串定义的。 文法开始符：通常称第一个非终结符为文法开始符号 文法的描述形式:语法图和EBNF 2.1.1 PL/0语言的语法描述图 2.1.2 PL/0语言文法的EBNF表示 BNF与EBNF的介绍 BNF（BACKUS-NAUR FORM）是根据美国的John W.Backus与丹麦的Peter Naur来命名的。 可以理解为描述程序设计语言语法的语言。 采用BNF可说明哪些符号序列是语法上正确的程序。 BNF与EBNF表示的符号说明 BNF引入的符号： 用左右尖括号括起来的语法成分为非终结符 ∷= 该符号的左部由右部定义 | ‘或’ EBNF引入的符号： { } 表示花括号内的语法成分可重复 [ ] 表示方括号内的语法成分为任选项 ( ) 表示圆括号内的成分优先 例子：用EBNF描述： 整数： 整数∷=[+|-]数字{数字}数字∷=0|1|2|3|4|5|6|7|8|9 不允许以0开头的整数 整数∷=[+|-]非零数字{数字}|0非零数字∷=1|2|3|4|5|6|7|8|9 数字∷=0|1|2|3|4|5|6|7|8|9 PL/0语言文法的EBNF表示为: 程序 ::= 分程序 . 分程序 ::= [常量说明部分 ][变量说明部分 ] [过程说明部分 ] 语句 常量说明部分::=CONST常量定义{,常量定义}; 常量定义::=标识符=无符号整数 变量说明部分::=VAR标识符{,标识符}; 过程说明部分::=过程首部分程序{;过程说明部分}; 过程首部::=PROCEDURE标识符; 语句::= 赋值语句 | 条件语句 | 当型循环语句 | 过程调用语句 | 读语句 | 写语句 | 复合语句 | 空 3 PL/0语言：PASCAL语言的子集 PL/0与PASCAL相同的地方 作用域规则：内层可引用包围它的外层定义的标识符，同一层并列过程的调用关系是先定义的可以被后定义的引用。 过程可以嵌套定义，可递归调用 PL/0是PASCAL的子集 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的词法分析 单词的种类 基本字：也称保留字,如begin,end,var等 运算符：如+、-、*、/、：=、#、=、=等 标识符：字母打头的字母/ 数字串:包括用户定义变量名、常数名、过程名 整常数：数字打头的数字串：如10，89等整数 界符：“，”，“（”， “ ）”等 词法分析完成的任务： 滤空格 识别保留字 识别标识符 拼数 拼复合词(即两个字符组成的算符) 例如当遇到字符?:?时, 它可能是复合单词?:=?中的?:?, 因此要向前看一个字符 输出源程序 词法分析过程GETSYM所用单元说明： CH：存放当前读取的字符，初值为空。每当读一个新单词时其第一字符已在CH中，每当处理完一个单词时，其后继符已被读到了CH中。 GETCH：取字符过程，由词法分析需要取字符时调用 SYM：存放每个单词的类别，用内部编码形式表示 ID：存放用户定义的标识符的值 NUM：存放用户定义的数 A：一维数组，数组元素为字符，界对[1:10] 2.4 PL/0编译程序的语法、语义分析 语法分析 语义分析 PL/0编译程序语法分析的设计 任务：识别由词法分析给出的单词符号序列是否符合给定的文法规则。 Procedure factor; 因子的递归子程序实现 Begin if symident then begin if symnumber then begin if sym=‘(’