第二章PL0编译程序ppt课件.ppt

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

1、第2章PL/0编译程序PL/0语言和类pcode的描述PL/0编译程序的结构PL/0编译程序的语法语义分析PL/0编译程序的错误处理2.1PL/0语言和类pcode的描述PL/0编译程序PL/0语言程序类pcode代码源语言(PL/0)目标语言(类pcode)实现语言(pascal)PL/0类pcodepascalPL/0编译程序类pcode解释程序类pcode代码PL/0源程序输入输出PL/0编译系统的结构框架2.1.1PL/0语言PL/0程序示例PL/0的语法描述图PL/0语言文法的EBNF表示PL/0程序示例CONSTA=10;（*常量说明部分*）VARB,C;

2、（*变量说明部分*）PROCEDUREP;（*过程说明部分*）VARD;PROCEDUREQ;VARX;BEGINREAD(X);D:=X;WHILEX#0DOCALLP;END;BEGINWRITE(D);CALLQ;END;BEGINCALLP;END.Q的过程体p的过程体主程序体程序分程序.内的文字表示非终结符或内的文字或符号表示终结符PL/0的语法描述图PL/0的语法描述图=,;var,;;procedure;分程序语句分程序const标识符标识符标识符numberPL/0的语法描述图end表达式:=begin语句语句)(,;read标识符标识符

3、语句PL/0语言文法的EBNF表示EBNF引入的符号(元符号)：<>用左右尖括号括起来的语法成分为非终结符∷=(→)‘定义为’∷=(→)的左部由右部定义

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

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

6、1

7、2

8、3

9、4

10、5

11、6

12、7

13、8

14、9或更好的写法<整数>∷=[+

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

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

17、2

18、3

19、4

20、5

21、6

22、7

23、8

24、9<数字>∷=0

25、<非零数字>PL/0语言文法的EBNF表示2.1

26、.2目标代码类pcode目标代码类pcode是一种假想栈式计算机的汇编语言。指令格式：flaf功能码l层次差（标识符引用层减去定义层）a根据不同的指令有所区别类pcode指令功能表consta=10;varb,c;procedurep;beginc:=b+a;end;beginread(b);whileb≠0dobegincallp;write(2*c);read(b);endend.(0)jmp08转向主程序入口(1)jmp02转向过程p入口(2)int03过程p入口,为过程p开辟空间(3)lod13取变量b的值到栈顶(4)lit010取常数1

27、0到栈顶(5)opr02次栈顶与栈顶相加(6)sto14栈顶值送变量c中(7)opr00退栈并返回调用点(16)(8)int05主程序入口开辟5个栈空间(9)opr016从命令行读入值置于栈顶(10)sto03将栈顶值存入变量b中(11)lod03将变量b的值取至栈顶(12)lit00将常数值0进栈(13)opr09次栈顶与栈顶是否不等(14)jpc024等时转(24)（条件不满足转）(15)cal02调用过程p(16)lit02常数值2进栈(17)lod04将变量c的值取至栈顶(18)opr04次栈顶与栈顶相乘(2*c)(19)opr014栈顶值输出至屏幕(20)op

28、r015换行(21)opr016从命令行读取值到栈顶(22)sto03栈顶值送变量b中(23)jmp011无条件转到循环入口(11)(24)opr00结束退栈2.2PL/0编译程序的结构词法分析程序语法语义分析程序代码生成程序表格管理程序出错处理程序PL/0源程序目标程序2.2.1PL/0编译程序的总体设计其编译过程采用一趟扫描方式以语法、语义分析程序为核心词法分析程序和代码生成程序都作为一个过程，当语法分析需要读单词时就调用词法分析程序，而当语法、语义分析正确，需要生成相应的目标代码时，则调用代码生成程序。表格管理程序实现变量，常量和过程标识符的信息的登录与查找。出错

29、处理程序，对词法和语法、语义分析遇到的错误给出在源程序中出错的位置和与错误性质有关的编号，并进行错误恢复。编译程序总体流程图2.2.2词法分析的设计与实现识别的单词：保留字或关键字：如：BEGIN、END、IF、THEN等运算符：如：+、-、*、/、：=、#、>=、<=等标识符：用户定义的变量名、常数名、过程名常数：如：10、25、100等整数界符：如：‘,’、‘.’、‘;’、‘(’、‘)’等词法分析过程GETSYM所要完成的任务：读源程序（getch)滤空格识别保留字识别标识符拼数识别单字符单词拼双字符单词词法分析过程（GETSYM）当