raw.doc - 1 -
PL/0 语言编译程序分析
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 来分析分程序部分
（分程序分析过程中还可能会递归调用 block 过程），然后，判断最后读入的符号是否
为句号。如果是句号且分程序分析中未出错，则是一个合法的 PL/0 程序，可以运行生
剩余34页未读，继续阅读
评论5