2018年编译原理实验报告11.docVIP

编译原理实验报告 　　2014-2015学年第二学期 　　《编译原理课程设计》实验报告 项目组人员构成 : 　　项目设计任务和目标: 　　项目主要分为三个部分 : 1.词法分析 2 .语法分析 3. 语义分析 　　其中各部分完成的主要任务如下 : 　　① 词法分析 :根据源语言 (SNL)的词法规则,扫描源程序的字母(ASCII 码)序列, 并识别出一个一个具有独立意义的最小语法单位, 即 “ 单词 ” , 同时确定该单词的种类 (如 标识符,界限符,常数,等等) ,并把每个单词的 ASCII 码序列替换为统一的标准形式 ------所谓的机内表示 TOKEN 形式 ------这种形式既刻画了单词本身,又刻画了它所有的属性,同 时词法分析还要完成词法错误的检查以及去掉注释等。词法分析不依赖于语言的语法分析。 　　②语法分析:语法分析的功能是:把词法分析的输出(TOKEN 序列)作为输入,按照文 法规则,从其中识别出各类语法成分,同时进行语法检查,为语义分析和代码生成做准备。 其实现有两种方式,递归下降法和 LL (1)分析方法法。根据源语言的语法规则,逐一扫描 源程序的 ASCII 码序列或者词法分析后的 TOKEN 序列 (对于前者, 词法分析程序将作为语法 分析程序的子程序) , 以确定源程序的具体组成结构 (语法结构) 。 分析时如果发现有不符合 语法规则的地方, 则打印出错位置和错误类型, 以便程序员进行修改; 如果未发现语法错误, 则将源程序转换成能够表示程序结构的语法树形式。 很多编译程序在进行语法分析的同时还 要完成其他的工作,但如果语法有错误,那么其他工作就没有意义了。 　　③语义分析:根据源语言的语义规则对语法分析得到的语法树进行语义检查 (确定类型, 类型和运算的合法性检查等 ) ,并建立标识符的符号表等各种信息表。只有在没有语义错误 　　的情况下才继续下面的编译过程, 否则将不进行下面的编译工作。 语义分为静态语义和动态 语义,编译阶段一般只检查静态语义 , 而静态语义检查中重点是类型检查。 　　　　SNL 编译程序的功能结构框图如下: 　　　　源 程 序 　　　　SNL 目标语言程序解释执行示意图如下: 　　　　关于 SNL 的词法: 　　一个 SNL 程序是由程序头、 声明部分和程序体组成的。 声明部分包括类型声明、 变量声明和 过程声明。小组成员经过讨论,在其语法基础上对 SNL 语法做如下改动: ① 去除过程的嵌套声明。在过程中只声明变量,不声明过程和类型。 　　② 改进数组表示方式。原 SNL 语法中定义数组为 a[0..9]这种形式,考虑到这种形式的落后 以及给接下来的分析带来的不方便性。我们重新定义了数组为 a[9](下标默认从零开始)这 种主流的形式。 　　经过改进后的 SNL 语法,其对应自动机为: 　　　　源程序 　　　　图:词法分析程序的功能 　　　　词法分析程序的大体步骤: ① 单词分类 ② 正则表达式 ③ 转成 DNF ④ 驱动程序 　　在这里,主程序首先调用词法分析程序(函数 getTokenlist ) ,通过扫描源程序字符序列, 按语言的词法规则将一个又一个的字符组合成各类单词符号,并填写 Tokenlist 信息,然 后将结果通过链表存入文件 Tokenlist 中,最后将整个源程序的字符序列转换成 TOKEN 序列,并将该 TOKEN 序列交给语法分析器。 　　　　其中 SNL 的 Token 结构如下: 词法分析程序阶段用到的函数及其主要功能: 　　语法分析是编译程序的第二阶段。语法分析的任务是,根据语言的语法规则,对源程序 进行语法检查, 并识别出相应的语法成分。 语法分析的输入是从词法分析器输出的源程序的 TOKEN 序列形式, 然后根据语言的文法规则进行分析处理, 语法分析的输出是无语法错误的 语法成分,表示成语法树的形式。 　　语法分析程序的功能示意图: 　　语法分析,其实现有两种方式,递归下降法和 LL (1)分析方法法。 　　其中递归下降法的主要原理是, 对每个非终极符按其产生式结构构造相应的语法分析子 程序, 其中终极符产生匹配命令, 而非终极符则产生过程调用命令。 其文法递归相应子程序 也递归,故称为递归下降法。 　　递归下降法应满足的条件: 　　当一个非终极符有多个产生式时,如何来选择唯一的产生式?如何保证被选择产生 式是唯一的选择?为此引入下面两个基本动作: 　　1) ReadToken:从输入流把下一个 TOKEN 码读到变量 token 中。 　　2) Math(a):检查 token=a?若是,则执行 ReadToken , 否则报错并停机。 其中 a 是终 极符。 　　LL(1)分析文法是一种自顶向下的语法分析方法,它是 LL