编译原理PL0综合实验知识.pdfVIP

PL/0 语言是 Pascal 语言的一个子集，我们这里分析的 PL/0 的编译程序包括了对 PL/0 语言 源程序进行分析处理、编译生成类 PCODE 代码，并在虚拟机上解释运行生成的类 PCODE 代码的功能。 PL/0 语言编译程序采用以语法分析为核心、一遍扫描的编译方法。词法分析和代码生 成作为独立的子程序供语法分析程序调用。 语法分析的同时， 提供了出错报告和出错恢复的 功能。在源程序没有错误编译通过的情况下，调用类 PCODE 解释程序解释执行生成的类 PCODE 代码。 词法分析子程序分析： 词法分析子程序名为 getsym，功能是从源程序中读出一个单词符号（ token ），把它的信 息放入全局变量 sym 、id 和 num 中，语法分析器需要单词时， 直接从这三个变量中获得。 （注 意！语法分析器每次用完这三个变量的值就立即调用 getsym 子程序获取新的单词供下一次 使用。而不是在需要新单词时才调用 getsym 过程。）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 来分析分程序部分（分程序分