编译原理课设实验报告.doc

《编译原理课设实验报告.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、《编译技术》课程设计报告实验名称编译器设计姓名学号班级本课设的任务是完成一个完整的编译器，处理用户提交的符合所定文法的源程序代码，生成四元式中间代码，进而翻译成等价的X86平台上汇编语言的目标程序。编译程序的工作过程划分为下列5个过程：词法分析，语法分析，语义分析和中间代码生成，代码优化，目标代码生成。其中，词法分析阶段的基本任务是从以字符串表示的源程序中识别出具有独立意义的单词符号，并以二元组的形式输出，以作为语法分析阶段的输入。语法分析阶段的基本任务是将词法分析阶段产生的二元组作为输入，根据语言的语法规则，识别出各种语法成分，并判断该单词符号序列是否是该语言的一个句子。语义分析的任务

2、是首先对每种语法单位进行静态的语义审查，然后分析其含义，并用另一种语言形式(本课设采用四元式)来描述这种语义。代码优化的任务是对前阶段产生的中间代码进行等价变换或改造，以期获得更为高效即省时间和空间的目标代码。目标代码生成的任务是将中间代码变换成特定机器上的绝对指令代码或可重定位的指令代码或汇编指令代码（本课设生成汇编指令代码）。在词法分析阶段，通过DOS环境手动输入字符串序列（以’#’作为结束标志）作为带分析的源程序，调用词法扫描子程序将字符串以二元组的形式输出（若有不属于该语言单词符号出现，则进行出错处理），词法扫描子程序包括了对源程序的预处理（忽略多余空格、回车换行符等空白字符），

3、以及对单词的识别和分类，以形成（单词种别，单词自身的值）形式的二元组，并将用户自定义变量信息存入程序变量信息表。在语法分析阶段，采用自上而下的递归下降分析法，从文法的开始符号出发，根据文法规则正向推导出给定句子。根据递归下降分析函数编写规则来编写相应的函数，在各个函数的分析过程中调用词法分析程序中的扫描程序，发出“取下一个单词符号”的命令，以取得下一个单词符号作语法分析。在语义分析和中间代码生成阶段，采用语法制导翻译法,使用属性文法为工具来描述程序设计语言的语义。首先审查词法分析得到的每个语法结构的静态语义，如果静态语义正确再生成中间代码（本课设中采用四元式）。使用属性文法作为描述程序设

4、计语言语义的工具，采用语法制导翻译法完成对语法成分的翻译工作，即在语法分析过程中，依随分析的过程，根据每个产生式所对应的语义子程序(或语义规则描述的语义处理的加工动作)进行翻译。目标代码生成是编译程序的最后一个阶段，根据符号表等信息，将中间代码转化为等价的目标代码。为减少访问计算机内存的次数，应尽可能把基本块内还要被引用的变量放到寄存器中，而把基本块内不用的变量所占的寄存器释放。为了随时掌握寄存器的使用情况和变量的存放情况，以便生成适当地目标代码，可以建立寄存器描述表和变量地址描述表。在编译程序的各个阶段中都要涉及到表格管理和错误处理。编译程序在工作过程中需要建立一些表格，以登记源程序中

5、所提供的或在编译过程中所产生的一些信息，编译各个阶段的工作都涉及到构造、查找、修改或存取有关表格中的信息（本课设中建立了程序变量信息表，变量地址描述表，寄存器描述表）。一个好的编译程序在编译过程中，应具有广泛的程序查错能力，并能准确地报告错误的种类及出错位置，以便用户查找和纠正，因此，在编译程序中还必须有一个出错处理程序。实验的整体设计思想可由以下图示表示：编译器基本模块设计词法分析的任务是对字符串表示的源程序从左到右地进行扫描和分解，根据语言的词法规则识别出一个一个具有独立意义的单词符号，包括关键字，标识符，常数，运算l

6、d非l非d其他=！31129301；，}{28127126125

7、1)(*24123221211非==<20119118非==>非===1611711514113112dd-+eedd.dd-+1011198765432l10a)语法分析器（递归下降法）采用自上而下的递归下降分析法，从文法的开始符号出发，根据文法规则正向推导出给定句子。对文法中的每个非终结符编写一个函数(或子程序),每个函数（或子程序）的功能是识别由该非终结符所表示的语法成分。描述语言的文法常常是递归定义的，因此相应的这组函数（或子程序）必然以相互递归的方式进行调用。为每个非终结符编制一个递归下降分析函数，每个函数名是相应的非终结符，函数体则是根据规则右部符号串的结构和顺序编写，完成

8、相应非终结符匹配，通过所有子程序的相互调用，完成整个终结符号串的分析。(1)当遇到终结符a时，则编写语句if(当前读来的输入符号==a)读下一个输入符号；(2)当遇到非终结符A时，则编写语句调用A()；(3)当遇到规则A→ε时，则编写语句if(当前读来的输入符号FOLLOW(A))error()；递归下降分析法是确定的自上而下分析法，这种分析法要求文法是LL(1)文法。语法结构定义采用扩充的BNF表示法,避免了直接左递归规则，并且也