第二章plo编译程序的实现

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

1、第二章PL/O编译程序的实现第一节PL/O语言描述第二节PL/O编译程序的结构第三节PL/O编译程序的词法分析第四节PL/O编译程序的语法语义分析第五节PL/O编译程序的目标代码结构和代码生成第六节PL/O编译程序的语法错误处理第七节PL/O编译程序的目标代码解释执行时的存储分配知识结构2.1PL/0语言描述第二章PL/0编译程序的实现一.PL/0语言的语法描述图它由世界著名计算机科学家N.Wirth编写它是PASCAL语言的子集，功能简单，结构清晰，可读性强，具备了一般高级语言的必备部分它充分体现一个高级语言编译程序实现的基本方法和技术它的目标程序为假想栈式计算机的汇编语言，与具体计算机

2、无关它的编译程序和目标程序的解释执行程序可用Pascal,C或其它语言书写，因此PL/0语言可在配备相应书写语言的任何机器上实现用语法图描述语法规则的优点是直观、易读在图2.1的语法图中用椭圆和圆圈中的英文字或字符表示终结符，用长方形内的中文字表示非终结符终结符：构成语言文法的单词，是语法成分的最小单位通常称第一个非终结符为文法的开始符号图2.1(a)程序语法描述图图2.1(b)分程序语法描述图图2.1(c)语句语法描述图图2.1(d)条件语法描述图图2.1(e)表达式语法描述图图2.1(f)项语法描述图图2.1(g)因子语法描述图画语法图时要注意箭头方向和弧度，语法图中应该无直角，如图2

3、.1给出的PL/0语法描述图。沿语法图分析时不能走尖弧线二.PL/O语言文法的EBNF表示1.BNF与EBNF的介绍：BNF（BACKUS-NAURFORM）是根据美国的JohnW.Backus与丹麦的PeterNaur来命名的，它从语法上描述程序设计语言的元语言。采用BNF就可说明哪些符号序列是对于某给定语言在语法上有效的程序BNF引入的符号：<>用左右尖括号括起来的中文字表示语法构造成分，或称语法单位，为非终结符∷=定义为，该符号的左部由右部定义

4、或，为左部可由多个右部定义EBNF引入的符号：{}表示花括号内的语法成分可重复[]表示方括号内的语法成分为任选项()表示圆括号内的成分优先一

5、个用EBNF描述的例子：<整数>∷=[+

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

7、1

8、2

9、3

10、4

11、5

12、6

13、7

14、8

15、9<整数>∷=[+

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、92.PL/0语言文法的EBNF表示：〈程序〉∷=〈分程序〉.〈分程序〉∷=[〈常量说明部分〉][〈变量说明部分〉][〈过程说明部分〉]〈语句〉〈常量说明部分〉∷=CONST〈常量定义部分〉{，〈常量定义〉}；＜常量定义＞::=＜标识符＞＝＜无符号整数＞〈无符号整数〉∷=〈数字〉{〈数字〉}〈变量说明部分〉∷=VAR〈标识符

35、〉{，〈标识符〉}；＜常量定义＞::=＜标识符＞＝＜无符号整数＞〈无符号整数〉∷=〈数字〉{〈数字〉}〈变量说明部分〉∷=VAR〈标识符〉{，〈标识符〉}；〈标识符〉∷=〈字母〉{〈字母〉

36、〈数字〉}＜过程说明部分＞::=＜过程首部＞＜分程序＞｛；＜过程说明部分＞｝＜过程首部＞::=PROCEDURE＜标识符＞；＜语句＞::=＜赋值语句＞｜＜条件语句＞｜＜当型循环语句＞｜＜过程调用语句＞｜＜读语句＞｜＜写语句＞｜＜复合语句＞｜＜空＞＜赋值语句＞::=＜标识符＞:=＜表达式＞＜复合语句＞::=BEGIN＜语句＞｛；＜语句＞｝END＜条件＞::=＜表达式＞＜关系运算符＞＜表达式＞｜ODD＜表达

37、式＞＜表达式＞::=[＋｜－]＜项＞｛＜加法运算符＞＜项＞｝＜项＞::=＜因子＞｛＜乘法运算符＞＜因子＞｝＜因子＞::=＜标识符＞｜＜无符号整数＞｜‘（’＜表达式＞‘）’＜加法运算符＞::=＋｜－＜乘法运算符＞::=*｜/＜关系运算符＞::=＝｜＃｜＜｜＜＝｜＞｜＞＝＜条件语句＞::=IF＜条件＞THEN＜语句＞＜过程调用语句＞::=CALL＜标识符＞＜当型循环语句＞::=WHILE＜条件＞DO＜语句＞＜读语句＞::=READ’（’＜标识符＞｛，＜标识符＞｝‘）’＜写语句＞::=WRITE’（’＜表达式＞｛，＜表达式＞｝‘）’＜字母＞::=a

38、b

39、…

40、X

41、Y

42、Z＜数字＞::=0

43、1

44、…

45、8

46、

47、92.2PL/O编译程序的结构编译过程采用一趟扫描方式，以语法语义分析程序为核心，词法分析程序和代码生成程序都作为一个独立的过程，当语法分析需要读单词时就调用词法分析程序，而当语法分析正确需生成相应的目标代码时，就调用代码生成程序用表格管理程序建立变量、常量和过程标识符的说明与引用之间的信息联系用出错处理程序对词法和语法语义分析遇到的错误给出在源程序中出错的位置和错误性质当源程序编译正确时，PL/O编译程序自动调用解释