编译原理实验报告语义分析

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

1、为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划编译原理实验报告语义分析　　XX-XX学年第二学期《编译原理课程设计》实验报告　　项目组人员构成:　　项目设计任务和目标：　　项目主要分为三个部分:1.词法分析2.语法分析3.语义分析　　其中各部分完成的主要任务如下:　　①词法分析:根据源语言(SNL)的词法规则，扫描源程序的字母序列，并识别出一个一个具有独立意义的最小语法单位，即“单词”，同时确定该单词的种类，并把每个单词的ASCII码

2、序列替换为统一的标准形式------所谓的机内表示TOKEN形式------这种形式既刻画了单词本身，又刻画了它所有的属性，同时词法分析还要完成词法错误的检查以及去掉注释等。词法分析不依赖于语言的语法分析。目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　②语法分析：语法分析的功能是：把词法分析的输出作为输入，

3、按照文法规则，从其中识别出各类语法成分，同时进行语法检查，为语义分析和代码生成做准备。其实现有两种方式，递归下降法和LL分析方法法。根据源语言的语法规则，逐一扫描源程序的ASCII码序列或者词法分析后的TOKEN序列，以确定源程序的具体组成结构。分析时如果发现有不符合语法规则的地方，则打印出错位置和错误类型，以便程序员进行修改；如果未发现语法错误，则将源程序转换成能够表示程序结构的语法树形式。很多编译程序在进行语法分析的同时还要完成其他的工作，但如果语法有错误，那么其他工作就没有意义了。　　③语义分

4、析：根据源语言的语义规则对语法分析得到的语法树进行语义检查(确定类型，类型和运算的合法性检查等)，并建立标识符的符号表等各种信息表。只有在没有语义错误　　的情况下才继续下面的编译过程，否则将不进行下面的编译工作。语义分为静态语义和动态语义，编译阶段一般只检查静态语义,而静态语义检查中重点是类型检查。　　SNL编译程序的功能结构框图如下：　　源程序　　SNL目标语言程序解释执行示意图如下：　　关于SNL的词法：　　一个SNL程序是由程序头、声明部分和程序体组成的。声明部分包括类型声明、变量声明和过程声

5、明。小组成员经过讨论，在其语法基础上对SNL语法做如下改动：①去除过程的嵌套声明。在过程中只声明变量，不声明过程和类型。目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　②改进数组表示方式。原SNL语法中定义数组为a[0..9]这种形式，考虑到这种形式的落后以及给接下来的分析带来的不方便性。我们重新定义了数组为

6、a[9]这种主流的形式。　　经过改进后的SNL语法，其对应自动机为：　　源程序　　图：词法分析程序的功能　　词法分析程序的大体步骤：①单词分类②正则表达式③转成DNF④驱动程序　　在这里，主程序首先调用词法分析程序，通过扫描源程序字符序列，按语言的词法规则将一个又一个的字符组合成各类单词符号，并填写Tokenlist信息，然后将结果通过链表存入文件Tokenlist中，最后将整个源程序的字符序列转换成TOKEN序列，并将该TOKEN序列交给语法分析器。　　其中SNL的Token结构如下：词法分析程序

7、阶段用到的函数及其主要功能：　　语法分析是编译程序的第二阶段。语法分析的任务是，根据语言的语法规则，对源程序进行语法检查，并识别出相应的语法成分。语法分析的输入是从词法分析器输出的源程序的TOKEN序列形式，然后根据语言的文法规则进行分析处理，语法分析的输出是无语法错误的语法成分，表示成语法树的形式。语法分析程序的功能示意图：目的-通过该培训员工可对保安行业有初步了解，并感受到安保行业的发展的巨大潜力，可提升其的专业水平，并确保其在这个行业的安全感。为了适应公司新战略的发展，保障停车场安保新项目的正

8、常、顺利开展，特制定安保从业人员的业务技能及个人素质的培训计划　　语法分析，其实现有两种方式，递归下降法和LL分析方法法。其中递归下降法的主要原理是，对每个非终极符按其产生式结构构造相应的语法分析子程序，其中终极符产生匹配命令，而非终极符则产生过程调用命令。其文法递归相应子程序也递归，故称为递归下降法。　　递归下降法应满足的条件：　　当一个非终极符有多个产生式时，如何来选择唯一的产生式？如何保证被选择产生　　式是唯一的选择？为此引入下面两个基本动作：　　1）ReadT