资源描述：
《语法制导翻译及中间代码生成》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第五章语义分析和中间代码的表示语义分析的概念语法制导翻译方法属性文法几种常见的中间代码表示第一节语义分析的概念语义分析：即审查每个语法成分的静态语义。在早期的一些编译程序中，是在语法分析的基础上根据源程序中各语法成份的语义，直接产生机器语言或汇编语言形式的目标代码。现在的编译系统一般都将经过语法分析的源程序先翻译为某种形式的中间语言代码，然后再将其翻译为目标代码。优点：使编译程序各组成部分功能更单一;使得编译程序的逻辑结构更为清晰，从而使编译程序更易于编写与调整;同时为代码优化和程序的可移植性提供了条件在语义
2、分析时也要进行语义检查，编译时的语义检查是静态语义检查，包括：类型检查，如参与运算的操作数的类型应相容。控制流检查，用以保证控制语句有合法的转向点。如C语言中不允许goto语句转入case语句流。一致性检查，如case语句的标号不能相同。第二节语法制导翻译对文法中的每个产生式都附加一个语义动作或语义子程序,在语法分析过程中，每当需要使用一个产生式进行推导或归约，语法分析程序除执行相应的语法分析动作外，还要执行相应的语义动作或调用相应的语义子程序。这种模式实际上是对前后文无关文法的一种扩充。例如,文法G[E]:
3、产生式语义动作E→E(1)+T{E.Val=E(1).val+T.val;}E→T{E.Val=T.Val;}T→digit{T.Val=digit;}为了能在语法分析过程中平行地进行语义处理，可在语法分析栈旁边并行地设置一个语义信息栈。语法分析栈语义分析栈TT.Val+‘+’E……#产生式的语义是由组成该产生式的文法符号的语义所决定的。我们可将这些语义以“属性”的形式附加到各个文法符号上，再根据产生式所蕴含的语义，给出每个文法符号的属性的求值规则，从而形成一种附带有语义属性的前后文无关文法，即属性文法。第三
4、节属性文法属性文法=上下文无关文法+属性+求值规则属性是用来描述文法符号的语义特征，如常量的“值”、变量的类型和存储位置等。求值规则（属性计算规则）与产生式相关联的反映文法符号属性之间关系的“规则”。求值规则还可进一步扩展为语义规则（语义动作）。1、定义例：简单表达式的属性文法。语义规则L→EE→E（1）+TE→TT→T（1）*FT→FF→(E)F→digitPrint(E.val)E.val:=E（1）.val+T.valE.val:=T.valT.val:=T（1）.valF.valT.val:=F.v
5、alF.val:=E.valF.val:=digit.lexval产生式若产生式AX1X2…Xn，与之相关的属性计算规则b:=f(c1,c2,…)，其中f是函数，b和c1,c2,…,ck是该产生式文法符号的属性，－如果属性b是产生式左部符号A的属性，c1,c2,…,ck是产生式右部文法符号的属性或A的其它属性,则称其为A的综合属性；－如果属性b是产生式右部符号Xi的属性，c1,c2,…,ck是产生式右部文法符号的属性或A的属性则称其为Xi的继承属性；－终结符仅有综合属性,如digit.lex_val。通常由
6、词法程序提供。而开始符号没有继承属性。2、属性的分类继承属性用于“自上而下”传递信息。继承属性由相应语法树中结点的父结点和/或兄弟结点属性计算得到，它反映了对上下文依赖的特性。继承属性可以很方便地用来表示程序设计语言上下文的结构关系。几点说明：几点说明（续）：综合属性用于“自下而上”传递信息。综合属性由相应语法树中结点的分枝结点属性计算得到，即沿语法树向上传递，从分枝（子）结点到根结点。思考：简单表达式文法中的属性各是什么类型的？A.bX1.c1X2.c2Xn.cn…综合属性A.b的计算AX1.c1X2.c2
7、…继承属性Xk.b的计算Xk.bXn.cn在语法树中,将每个结点均视为由若干个域组成的结构,则可将其中的一些域用来存放相应文法符号诸属性之值，并可用属性来为这些域命名。通常我们将每个结点都标注相应属性值的语法树称为注释分析树（DecoratedSyntaxTree）。属性求值的过程：在注释分析树中，一个文法符号X在相应结点的综合属性之值，由其子结点的属性和（或）X的其它属性，通过相关属性规则经计算而得，故综合属性的求值在语法树中是按自下而上的方式进行的；X的继承属性之值则由X的父结点和(或)其它兄弟结点来定义
8、,故继承属性的求值将按自上而下的方式进行。注释分析树例：8+5*2的注释分析树。（综合属性）digit.lexval=2LE.val=18T.val=10E.val=8T.val=8F.val=8digit.lexval=8T.val=5+*F.val=5F.val=2digit.lexval=5分析树各结点属性的计算可以自下而上地完成digit.lexval=2LE.val=18T.val=10E
