PL编译程序的实现

《PL编译程序的实现》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第二章PL/0编译程序的实现学习目标：以PL/0语言为例对编译程序的构造得到感性认识和初步了解，对编译程序的实现建立起整体概念。2.1PL/0语言2.2PL/0编译程序的结构2.3PL/0编译程序的词法分析2.4PL/0编译程序的语法、语义分析2.5PL/0编译程序的目标程序结构和代码生成2.6PL/0编译程序的语法错误处理2.1PL/0语言1PL/0程序示例2PL/0的语言的描述3PL/0语言：PASCAL语言的子集1PL/0程序示例constA=10;(*常量说明部分*)varB,C;(*变量说明部分*)procedureP;(*过程

2、说明部分*)begincallP;(*主程序体*)end.varD;(*过程P的分程序*)procedureQ;(*嵌套的Q过程定义*)varX;begin(*Q的过程体*)read(X);D:=X;whileX#0docallP;end;beginwrite(D);callQ;(*P的过程体*)end;2PL/0的语言的描述PL/0语言语法的描述工具是文法:文法:使得无穷的句子集可以用有穷的规则来描述的工具终结符：构成文法的单词，是语法成分的最小单位非终结符：是一个语法成分，在书写语言程序时并不存在，由终结符和非终结符串或终结符串定义的

3、。文法开始符：通常称第一个非终结符为文法开始符号文法的描述形式:语法图和EBNF2.1.1PL/0语言的语法描述图分程序程序.程序的语法描述图终结符非终结符开始符分程序的语法描述图分程序constident=number,;var,;identprocedureident;;分程序语句2.1.2PL/0语言文法的EBNF表示BNF与EBNF的介绍BNF（BACKUS-NAURFORM）是根据美国的JohnW.Backus与丹麦的PeterNaur来命名的。可以理解为描述程序设计语言语法的语言。采用BNF可说明哪些符号序列是语法上正确的程序

4、。BNF与EBNF表示的符号说明BNF引入的符号：<>用左右尖括号括起来的语法成分为非终结符∷=该符号的左部由右部定义

5、‘或’EBNF引入的符号：{}表示花括号内的语法成分可重复[]表示方括号内的语法成分为任选项()表示圆括号内的成分优先例子：用EBNF描述：整数：<整数>∷=[+

6、-]<数字>{<数字>}<数字>∷=0

7、1

8、2

9、3

10、4

11、5

12、6

13、7

14、8

15、9不允许以0开头的整数<整数>∷=[+

16、-]<非零数字>{<数字>}

17、0<非零数字>∷=1

18、2

19、3

20、4

21、5

22、6

23、7

24、8

25、9<数字>∷=0

26、1

27、2

28、3

29、4

30、5

31、6

32、7

33、8

34、9PL/0语

35、言文法的EBNF表示为:<程序>::=<分程序>.<分程序>::=[<常量说明部分>][<变量说明部分>][<过程说明部分>]<语句><常量说明部分>::=CONST<常量定义>{,<常量定义>};<常量定义>::=<标识符>=<无符号整数><变量说明部分>::=VAR<标识符>{,<标识符>};<过程说明部分>::=<过程首部><分程序>{;<过程说明部分>};<过程首部>::=PROCEDURE<标识符>;<语句>::=<赋值语句>

36、<条件语句>

37、<当型循环语句>

38、<过程调用语句>

39、<读语句>

40、<写语句>

41、<复合语句>

42、<空>3PL/

43、0语言：PASCAL语言的子集PL/0与PASCAL相同的地方作用域规则：内层可引用包围它的外层定义的标识符，同一层并列过程的调用关系是先定义的可以被后定义的引用。过程可以嵌套定义，可递归调用PL/0是PASCAL的子集2.2PL/0编译程序的结构词法分析程序表格管理程序语法、语义分析程序代码生成程序出错处理程序PL/0编译程序结构图PL/0源程序目标程序编译过程采用一遍扫描方式以语法分析程序为核心，词法分析程序和代码生成程序都作为一个独立的过程。目标代码为汇编语言建立变量,常量和过程标识符的说明与引用之间的信息联系对词法和语法分析遇到的

44、错误给出错误位置和错误性质2.3PL/0编译程序的词法分析词法分析程序GETSYM功能:为语法分析提供单词，它把输入的字符串形式的源程序分割成一个个单词符号。单词的种类基本字：也称保留字,如begin,end,var等运算符：如+、-、*、/、：=、#、>=、<=等标识符：字母打头的字母/数字串:包括用户定义变量名、常数名、过程名整常数：数字打头的数字串：如10，89等整数界符：“，”，“（”，“）”等词法分析完成的任务：滤空格识别保留字识别标识符拼数拼复合词(即两个字符组成的算符)例如当遇到字符:时,它可能是复合单词:=中的:

45、,因此要向前看一个字符输出源程序词法分析程序的设计---使用状态转换图词法分析过程GETSYM所用单元说明：CH：存放当前读取的字符，初值为空。每当读一个新单词时其第一字符已在CH中，每当处