编译原理实验报告.docVIP

编译原理 上机实验报告 编译原理上机实验报告 实验目的与要求 目的：在分析理解一个教学型编译程序（如PL/0）的基础上，对其词法分析程序、语法分析程序和语义处理程序进行部分修改扩充。达到进一步了解程序编译过程的基本原理和基本实现方法的目的。 要求：对PL/0作以下修改扩充 基本内容： 增加单词：保留字 ELSE，FOR，TO，DOWNTO，RETURN 运算符 +=，-=，++，-- 修改单词：不等号# 改为 增加条件语句的ELSE子句 实验环境与工具 （1）计算机及操作系统：PC机，WindowsXP （2）程序设计语言：C++Builder6 （3）教学型编译程序：PL/0 二、设计方案 概述： 编译程序编绎的源程序是PL0，程序产生的目标代码是一个假想栈式计算机的汇编语言.称为类PCODE指令代码 ,指令格式格式如下: F L A F L A 其中F代表功能码,L表示层次差,A表示位移量,不同指令其含义有所区别。 PL/0语言是Pascal语言的一个子集，这里分析的PL/0的编译程序包括了对PL/0语言源程序进行分析处理、编译生成类PCODE代码，并在虚拟机上解释运行生成的类PCODE代码的功能。　　PL/0语言编译程序采用以语法分析为核心、一遍扫描的编译方法。词法分析和代码生成作为独立的子程序供语法分析程序调用。语法分析的同时，提供了出错报告和出错恢复的功能。在源程序没有错误编译通过的情况下，调用类PCODE解释程序解释执行生成的类PCODE代码。 编译器实现工具和运行平台程序用C++语言编写,在C++ Builder平台下运行。 结构设计说明： PL/0的编译过程采用一趟扫描方式，以语法分析为核心，词法分析程序和代码生成程序都作为一个独立的过程，当语法分析需要读入单词时就调用词法分析程序，而当语法分析正确需生成相应的目标代码时，则调用代码生成程序。此外，用表格管理程序建立变量、常量和过程标识符的说明与引用之间的信息联系。用出错处理程序对词法和语法分析遇到的错误给出在源程序中出错的位置和错误性质。当源程序编译正确时，PL/0编译程序自动调用解释执行程序，对目标代码进行解释执行，并按用户程序的要求输入数据和输出运行结果。 本程序编译和解释执行的结构图如下所示： 各功能模块描述： 词法分析 PL/0词法分析程序GETSYM的功能是为语法分析提供单词用的，是语法分析的基础，把输入的字符串形式的源程序分割成一个个单词符号。经过词法分析程序分析出来的单词，对语言固有的单词只给出类别存放在全程变量SYM中，而对用户定义的单词（标识符或常数）既给出类别又给值，其类别放在SYM中，值放在全程变量ID或全程变量NUM中，全部单词种类由编译程序定义的纯量类型SYMBOL给出，称为语法词汇表。 词法分析器的分析过程：调用GETSYM时，它通过GETCH过程从源程序中获得一个字符。如果这个字符是字母，则继续获取字符或数字，最终可以拼成一个单词，查保留字表，如果查到为保留字，则把SYM变量赋成相应的保留字类型值；如果没有查到，则这个单词应是一个用户自定义的标识符（可能是变量名、常量名或是过程的名字），把SYM置为IDENT，把这个单词存入ID变量。查保留字表时使用了二分法查找以提高效率。如果Getch获得的字符是数字，则继续用Getch获取数字，并把它们拼成一个整数或实数，然后把SYM置为 INTEGER，并把拼成的数值放入NUM变量。如果识别出其它合法的符号（比如：赋值号、大于号、小于等于号等），则把SYM则成相应的类型。如果遇到不合法的字符，把SYM置成NUL。 词法分析程序GETSYM将完成下列任务： （1）滤空格 （2）识别保留字 （3）识别标识符 （4）拼数 （5）拼复合词 （6）输出源程序 语法分析 PL/0编译程序的语法分析采用了自顶向下的递归的子程序法。语法分析同时也根据程序的语义生成相应三元代码，并提供了出错处理的机制。语法分析主要由分程序分析过程（BLOCK）、常量定义分析过程（ConstDeclaration）、变量定义分析过程（Vardeclaration）、语句分析过程（Statement）、表达式处理过程（Expression）、项处理过程（Term）、因子处理过程（Factor）和条件处理过程（Condition）构成。这些过程在结构上构成一个嵌套的层次结构。除此之外，还有出错报告过程（Error）、代码生成过程（Gen）、测试单词合法性及出