编译原理实验研讨.doc

2014-2015学年第二学期 《编译原理课程设计》实验报告 项目组人员构成: 角 色学 号姓 名担任工作占比词法分析杨得成 40 %语法分析刘中天 30 %语义分析姚梦龙 30 %项目设计任务和目标： 项目主要分为三个部分: 1.词法分析 2 .语法分析 3.语义分析 其中各部分完成的主要任务如下: ①词法分析:根据源语言(SNL)的词法规则，扫描源程序的字母（ASCII码）序列， 并识别出一个一个具有独立意义的最小语法单位，即“单词”，同时确定该单词的种类（如标识符，界限符，常数，等等），并把每个单词的ASCII码序列替换为统一的标准形式------所谓的机内表示TOKEN形式------这种形式既刻画了单词本身，又刻画了它所有的属性，同时词法分析还要完成词法错误的检查以及去掉注释等。词法分析不依赖于语言的语法分析。 ②语法分析：语法分析的功能是：把词法分析的输出（TOKEN序列）作为输入，按照文法规则，从其中识别出各类语法成分，同时进行语法检查，为语义分析和代码生成做准备。 其实现有两种方式，递归下降法和LL（1）分析方法法。根据源语言的语法规则，逐一扫描源程序的ASCII码序列或者词法分析后的TOKEN序列（对于前者，词法分析程序将作为语法分析程序的子程序），以确定源程序的具体组成结构（语法结构）。分析时如果发现有不符合语法规则的地方，则打印出错位置和错误类型，以便程序员进行修改；如果未发现语法错误，则将源程序转换成能够表示程序结构的语法树形式。很多编译程序在进行语法分析的同时还要完成其他的工作，但如果语法有错误，那么其他工作就没有意义了。 ③语义分析：根据源语言的语义规则对语法分析得到的语法树进行语义检查(确定类型，类型和运算的合法性检查等)，并建立标识符的符号表等各种信息表。只有在没有语义错误的情况下才继续下面的编译过程，否则将不进行下面的编译工作。语义分为静态语义和动态语义，编译阶段一般只检查静态语义,而静态语义检查中重点是类型检查。 SNL编译程序的功能结构框图如下： 出错处理 SNL目标程序 词法分析 语法分析 语义分析 目标代码生成 源 程 序 表格处理 SNL目标语言程序解释执行示意图如下： 输入数据 运行结果 解释执行过程 SNL目标程序 关于SNL的词法： 一个SNL程序是由程序头、声明部分和程序体组成的。声明部分包括类型声明、变量声明和过程声明。小组成员经过讨论，在其语法基础上对SNL语法做如下改动： ①去除过程的嵌套声明。在过程中只声明变量，不声明过程和类型。 ②改进数组表示方式。原SNL语法中定义数组为a[0..9]这种形式，考虑到这种形式的落后以及给接下来的分析带来的不方便性。我们重新定义了数组为a[9]（下标默认从零开始）这种主流的形式。 经过改进后的SNL语法，其对应自动机为：