pl0语法分析词法分析语义分析.docVIP

作者：love冥天

出处：

PL/0语言是Pascal语言的一个子集，我们这里分析的PL/0的编译程序包括了对PL/0语言源程序进行分析处理、编译生成类PCODE代码，并在虚拟机上解释运行生成的类PCODE

代码的功能。

PL/0语言编译程序接受以语法分析为核心、一遍扫描的编译方法。词法分析和代码

生成作为独立的子程序供语法分析程序调用。语法分析的同时，供应了出错报告和出错恢复的功能。在源程序没有错误编译通过的状况下，调用类PCODE解释程序解释执行生成的类

PCODE代码。

词法分析子程序分析：

词法分析子程序名为getsym,功能是从源程序中读出一个单词符号〔token〕,把它的信

息放入全局变量sym.id和num中，语法分析器需要单词时，直接从这三个变量中获得。

(留意!语法分析器每次用完这三个变量的值就马上调用getsym子程序猎取新的单词供下一次使用。而不是在需要新单词时才调用getsymiS程。〕getsym过程通过反复调用getch子过程从源程序过猎取字符，并把它们拼成单词。getch过程中使用了行缓冲区技术以提

高程序运行效率。

词法分析器的分析过程：调用getsym时，它通过getch过程从源程序中获得一个字

符。假如这个字符是字母，那么连续猎取字符或数字，最终可以拼成一个单词，查保存字表，假如查到为保存字，那么把sym变量赋成相应的保存字类型值；假如没有查到，那么这个单词应是一个用户自定义的标识符(可能是变量名、常量名或是过程的名字),把sym

置为ident,把这个单词存入id变量。查保存字表时使用了二分法查找以提高效率。假如

getch获得的字符是数字，那么连续用getch猎取数字，并把它们拼成一个整数，然后把

sym置为number,并把拼成的数值放入num变量。假如识别出

其它合法的符号(比方：赋值号、大于号、小于等于号等),那么把sym那么成相应的

类型。假如遇到不合法的字符，把sym置成nul。

语法分析子程序分析：

语法分析子程序接受了自顶向下的递归子程序法，语法分析同时也依据程序的语意生成相应的代码，并供应了出错处理的机制。语法分析主要山分程序分析过程

(block)常量定义分析过程(constdeclaration)变量定义分析过程

(vardeclaration)语句分析过程(statement)表达式处理过程(expression)

项处理过程(term)因子处理过程(factor)和条件处理过程(condition)构成。这些

过程在结构上构成一个嵌套的层次结构。除此之外，还有出错报告过程(error)、

代码生成过程(gen)测试单词合法性及出错恢复过程(test)、登录名字表过程

(enter)查询名字表函数(position)以及列出类PCODE代码过程(listcode)作过语

法分析的帮助过程。

由PL/0的语法图可知：一个完整的PL/0程序是由分程序和句号构成的。因此，本编译程序在运行的时候，通过主程序中调用分程序处理过程block来分析分程序局部(分程序分析过程中还可能会递归调用block过程),然后，推断最终读入的符

号是否为句号。假如是句号且分程序分析中未出错，那么是一个合法的PL/0程

序，可以运行生成的代码，否那么就说明源PL/0程序是不合法的，输出出错提示即

可。

下面按各语法单元分析PL/0编译程序的运行机制。

分程序处理过程：

语法分析开头后，首先调用分程序处理过程(block)处理分程序。过程入口参

数置为：0层、符号表位置0、出错恢复单词集合为句号、声明符或语句开头符。

进入block过程后，首先把局部数据段安排指针设为3,预备安排3个单元供运行期

存放静态链SL、动态链DL和返回地址RA。然后用tx0记录下当前符号表位置并产

生一条jmp指令，预备跳转到主程序的开头位置，由于当前还没有知到主程序到底在何处开头，所以jmp的LI标临时填为0,稍后再改。同时在符号表的当前位置记录下这个jmp指令在代码段中的位置。在推断了嵌套层数没有超过规定的层数后，开始分析源程序。首先推断是否遇到了常量声明，假如遇到那么开头常量定义，把常量存入符号表。接下去用同样的方法分析变量声明，变量定义过程中会用dx变量记录下局部数据段安排的空间个数。然后假如遇到procedure保存字那么进行过程声明和定义，声明的方法是把过程的名字和所在的层次记入符号表，过程定义的方法就是通过递归调用block过程，由于每个过程都是一个分程序。由于这是分程序中的分程序，因