语法制导翻译技术和中间代码生成.pptx

语义分析、生成中间代码S.PO.P生成目标程序代码优化语法分析程序词法分析程序错误处理符号表管理

第5章语法制导翻译技术和中间代码生成要求明确语义分析的任务明确属性文法和语法制导翻译的含义明确自底向上和自顶向下语法制导翻译的区别和特点明确生成中间代码的目的，中间代码的几种形式教学目标

语法制导翻译法的基本思想属性文法常见的中间代码各种不同语法结构的语法制导翻译技术教学内容

词法分析，语法分析：解决单词和语言成分的识别及词法和语法结构的检查。语法结构可形式化地用一组产生式来描述。给定一组产生式，我们能够很容易地将其分析器构造出来。本章要介绍的是语义分析和中间代码生成技术。程序语言中间代码目标代码翻译翻译

根据语义规则对识别出的各种语法成分析其含义，进行初步翻译，生成相应的中间代码或直接生成目标代码。审查每个语法结构的静态语义，即检查语法结构合法的程序是否真正有意义。也称静态语义检查。（类型检查、控制流的检查、一致性检查、相关名字的检查）如果静态语义正确，语义处理则要执行真正的翻译，要么生成中间代码，要么生成实际的目标代码。（说明性语句：填符号表；可执行性语句：生成中间代码）语义分析的任务

静态语义检查类型检查。控制流检查，确保控制语句有合法的转向点。例如，C语言中的break语句使控制跳离包括该语句的最小的switch，while或for语句。如果不存在包括它的这样的语句，则应报错。

一致性检查。很多情况下要求对象只能被定义一次。例如，Ｃ语言中规定一个标识符在同一作用域中只能被说明一次，同一case语句的标号不能相同，枚举类型的元素不能重复出现等。相关名字检查。有的语言中有时规定，同一名字必须出现两次或多次。例如，Ada语言中，循环或程序块可以有一个名字，它出现在这些结构的开头和结尾，如同语句括号一般，编译程序必须检查它们的配对情况。静态语义检查

5.2属性文法附加了一组属性和运算（语义）规则的文法文法符号X的属性t常用X.t来表示语义规则是根据产生式所蕴涵的语义操作建立起来的，并与语义分析的目标有关不同的产生式对应不同的语义规则不同的分析目标也对应不同的语义规则1.属性的表示2.语义规则的表示语义信息语义之间的关系静态语义检查、符号表操作、代码生成及打印各种错误信息

属性文法的形式定义：AG：AG=（G，V，E）G:上下文无关文法;V:属性的有穷集合;每一个属性与某一个文法符号相关联；用文法符号·属性表示E:表示属性的断言或谓词的有穷集合(语义规则);每一个断言与文法的某个产生式相关联)属性:综合属性(自下而上传递信息)、继承属性（自上而下传递信息)010302040506属性文法

非终结符E、T及F都有一个综合属性val,符号i有一个综合属性。某些非终结符加下标是为了区分一个产生式中同一非终结符多次出现语义规则EE1+TETTT1*FTFF(E)FiE.val=E1.val+T.valE.val=T.valT.val=T1.val?F.valT.val=F.valF.val=E.valF.val=i.lexval产生式例5.1

语法制导翻译的过程语法制导翻译：将语义规则与语法规则相结合，在语法分析的过程中通过执行语义动作，计算语义属性值，从而完成预定的翻译工作。

自底向上语法制导翻译自顶向下语法制导翻译0102语法制导翻译的实现

语法制导翻译分为两种处理方法：语法制导定义（自底向上）：对每个产生式编制一个语义子程序，在进行语法分析的过程中，当一个产生式获得匹配时，就调用相应的语义子程序实现语义检查与翻译。这种实现方案隐藏了其中语义规则的计算次序等实现细节，不必规定翻译顺序。翻译方案（自顶向下）：在产生式右部的适当位置，插入相应的语义动作，按照分析的进程，执行遇到的语义动作。这是一种动作与分析交错的实现方案。

从分析树得到描述结点属性间依赖关系的依赖图，由依赖图得到语义规则的计算次序分析输入符号串，建立分析语法树进行语义规则的计算，得到翻译结果输入符号串?分析树?执行语义规则?翻译结果翻译步骤

语法制导定义对每个产生式编制一个语义子程序在进行语法分析的过程中，当一个产生式获得匹配时，就调用相应的语义子程序实现语义检查与翻译综合属性继承属性自底向上传递信息自顶向下（自左向右）传递信息

print(E.val)打印由E产生的算术表达式的值，可认为这条规则定义了L的一个虚属性。LEEE1+TETTT1*FTFF(E)Fiprint(E.val)E.va