资源描述：
《PL0编译程序讲解.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第二章PL/0编译程序的实现本章以PL/0编译程序为实例,使大家对编译程序的实现建立起整体概念，对编译程序的构造得到一些感性认识和初步了解。§1PL/0语言§2PL/0处理机—假想栈式机§3PL/0编译程序§4符号表的一般形式讨论§5栈式存储管理的再讨论§1PL/0语言PL/0功能简单、结构清晰、可读性强，而又具备了一般高级语言的必备部分，因而其编译程序能充分体现一个高级语言编译程序的基本技术和步骤。PL/0语言：PASCAL语言的子集，用于教学PL/0程序示例PL/0的语法描述图PL/0语言的EBNF表示PL/0语言是
2、PASCAL语言的子集过程可嵌套定义，内层可引用包围它的外层定义的标识符,可递归调用数据类型,只有整型数据结构,只有简变和常数标识符的有效长度是10语句种类：begin/end、if、while、赋值、read/write、call、const、var、procedure过程无参，最多可嵌套三层13个保留字：if、then、while、do、read、write、call、begin、end、const、var、procedure、odd+、-、*、/、=、<>、<、<=、>、>=、(、)PL/0程序示例CONSTA=1
3、0;（*常量说明部分*）VARB,C;（*变量说明部分*）PROCEDUREP;（*过程说明部分*）VARD;（*P的局部变量说明部分*）PROCEDUREQ;（*P的局部过程说明部分*）VARX;BEGIN READ(X);D:=X;IFX#0DOCALLP; END;BEGIN CALLQ;WRITE(D); END;BEGINCALLP;END.递归计算sum=1!+2!+...+n!varn,m,fact,sum;{递规计算fact=m!}procedurefactorial;beginifm>0thenbegi
4、nfact:=fact*m;m:=m-1;callfactorial;end;end;begin{读入n}read(n);sum:=0;whilen>0dobeginm:=n;fact:=1;callfactorial;sum:=sum+fact;n:=n-1;end;{输出n!}write(sum);end.constidentnumber=,;varident,;;procedureident;分程序语句分程序程序分程序.语法图identreadend;语句表达式：=begin语句语句)(ident,PL/0语言的E
5、BNF表示BNF（BACKUS-NAURFORM）与EBNF的介绍BNF是根据美国的JohnW.Backus与丹麦的PeterNaur来命名的，它是从语法上描述程序设计语言的元语言。采用BNF就可说明哪些符号序列是对于某给定语言在语法上有效的程序。构成EBNF的元素：非终结符，终结符，开始符，规则EBNF的元符号：<>用左右尖括号括起来的内容为非终结符∷=或→读做‘定义为’，→的左部由右部定义
6、读做‘或’表示右部候选内容{}表示花括号内的内容可重复任意次或限定次数[]表示方括号内的内容为任选项()表示圆括号内的内容优先P
7、L/0语言文法的EBNF表示〈程序〉->〈分程序〉.〈分程序〉->[<常量说明部分>][<变量说明部分>][<过程说明部分>]<语句>〈常量说明部分〉->CONST〈常量定义部分〉{，〈常量定义〉}；〈无符号整数〉->〈数字〉{〈数字〉} 〈变量说明部分〉->VAR〈标识符〉{，〈标识符〉}；〈标识符〉->〈字母〉{〈字母〉
8、〈数字〉} ……<表达式〉∷=[+
9、-]〈项〉{（+
10、-）〈项〉} 〈项〉∷=〈因子〉{（*
11、/）〈因子〉} 〈因子〉∷=〈标识符〉
12、〈无符号整数〉
13、‘（’〈表达式〉‘）’……§2PL/0处理机—假
14、想栈式机一、PL/0处理机简介目标代码类p-code:一种栈式机的汇编语言栈式机系统结构:没有累加器和寄存器，只有存储栈指针所有运算都在栈顶（零地址机）两种存储，一个指令寄存器和三个地址寄存器两种存储指令寄存器----I，放当前正在解释的指令地址寄存器若有执行调用序列：A->B->C->B---先调用，后结束B区A区B区C区BT二、运行时数据的存储与访问----栈式存储假设A、C同层，且A中嵌套B子程序的调用、执行和返回过程被调用时，子程序的每次调用都需在数据栈顶为其分配独立的数据区子程序返回时，需做两件事情：一是代码返
15、回（需记住RA），二是数据区的同步恢复（DL）子程序运行时，要存取外层数据区中的存储单元当前B数据区须记住：返回地址RA动态链DL—记录调用者数据区基地址静态链SL—记录定义该过程的直接外层过程数据区的基地址，以便访问外层数据运行时数据栈S的变化varm1,m2,m3;ProcedureA;vara1;procedu
