pl0语法分析词法分析语义分析

《pl0语法分析词法分析语义分析》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、作者：love冥天出处：http://lostphp.com/blog/237.htmlPL/O语言是Pascal语言的一个子集，我们这里分析的PL/O的编译程序包括了对PL/O语言源程序进行分析处理、编译生成类PCODE代码，并在虚拟机上解释运行生成的类PCODE代码的功能。PL/O语言编译程序采用以语法分析为核心、一遍扫描的编译方法。同法分析和代码生成作为独立的子程序供语法分析程序调用。语法分析的同时，提供了出错报告和出错恢复的功能。在源程序没有错误编译通过的情况下，调用类PCODE解释程序解释执行生成的类P

2、CODE代码。词法分析子程序分析：词法分析子程序名为getsym，功能是从源程序屮读出一个单词符号（token）,把它的信息放入全局变ftsym、id和num'l',语法分析器需要单词时，直接从这三个变璧中获得。（注意！语法分析器每次用完这三个变量的值就立即调用getsym子程序获取新的单词供下一次使用。而不是在耑要新单词时才调用getsym过程。）getsym过程通过反复调用getch子过程从源程序过获取字符，并把它们拼成单词。getch过程中使用了行缓冲区技术以提高程序运行效率。词法分析器的分析过程：调用ge

3、tsym时，它通过getch过程从源程序中获得一个字符。如果这个字符是字母，则继续获取字符或数字，最终可以拼成一个单词，查保留字表，如果查到为保留字，则把sym变量赋成相应的保留字类型值；如果没有查到，则这个单词应是一个用户自定义的标识符（可能是变量名、常量名或是过程的名字），把sym置为ident,把这个单词存入id变量。查保留字表时使用了二分法查找以提商效率。如果getch获得的字符是数字，则继续用getch获取数字，并把它们拼成一个整数，然后把sym置为number,并把拼成的数值放入num变量。如果识别出

4、其它合法的符号（比如：赋值号、大于号、小于等于号等），则把sym则成相应的类型。如果遇到不合法的字符，把sym置成nul。语法分析子程序分析：语法分析子程序采用了自顶向下的递归子程序法,语法分析同时也根据程序的语意生成相应的代码，并提供了山错处理的机制。语法分析主要由分程序分析过程（block）、常量定义分析过程（constdeclaration）、变量定义分析过程（vardeclaration）、语句分析过程（statement）、表达式处理过程（expression）、项处理过程（term）、因子处理过程（f

5、actor）和条件处理过程（condition）构成。这些过程在结构上构成一个嵌套的层次结构。除此之外,还有出错报告过程（error）,代码生成过程（gen）、测试单词合法性及出错恢复过程（test）、登录名字表过程（enter）、查询名字表函数（position）以及列出类PCODE代码过程（listcode）作过语法分析的辅助过程。由PL/O的语法图可知：一个完整的PL/O程序是由分程序和句号构成的。因此，本编译程序在运行的时候，通过主程序屮调用分程序处理过程block来分析分程序部分（分程序分析过程中还可能

6、会递归调用block过程），然后，判断最后读入的符号是否为句号。如果是句号且分程序分析中米山错，则是一个合法的PL/O程序，可以运行生成的代码，否则就说明源PL/O程序是不合法的，输出出错提示即可。下面按各语法吊元分析PL/O编译程序的运行机制。分程序处理过程：语法分析开始后，首先调用分程序处理过程（block）处理分程序。过程入口参数置为:0层、符号表位置0、出错恢复单词集合为句号、声明符或语句开始符。进入block过程后，首先把局部数裾段分配指针设为3,准备分配3个单元供运行期存放静态链SL、动态链DL和返冋

7、地址RA。然后用txO记录下当前符号表位罝并产生一条jmp指令，准备跳转到主程序的开始位置，由于当前还没有知到主程序究竟在何处开始，所以jmp的目标哲吋填为0,稍后再改。同时在符号表的当前位置记录下这个jmp指令在代码段中的位置。在判断了嵌套层数没有超过规定的层数后，开始分析源程序。首先判断是否遇到了常量声明，如果遇到则开始常量定义，把常量存入符号表。接下去用同样的方法分析变馑声明，变量定义过程屮会用dx变量记录下局部数裾段分配的空间个数。然后如果遇到procedure保留字则进行过程声明和定义，声明的方法是把过

8、程的名字和所在的层次记入符号表，过程定义的方法就是通过递归调用block过程，因为每个过程都是一个分程序。由于这是分程序中的分程序，因此调用block时需把当前的层次号lev加一传递给block过程。分程序声明部分完成后，即将进入语句的处理，这时的代码分配指针ex的伉正好指句语句的开始位置，这个位置正是前而的jmp指令需要跳转到的位賈。于是通过前而记录下来的地址值，把这个