编译原理语义分析与中间代码生成

时间：2026-05-01

编译原理

长春工业大学计算机科学与工程学院

语义分析与中间代码生成

复习：编译程序的逻辑过程按照编译程序的逻辑工作过程，语法分析后，接下来就要进行语义分析了，语义分析后，再生成中间代码。实际应用中，往往在语法分析的同时，进行语义分析并生成中间代码，这就是语法制导翻译法。语法制导翻译过程中，需要借助于属性文法进行语义描述和语义处理。本章内容：属性文法有关概念；语法制导翻译基本思想；中间代码形式；简单算术表达式、布尔表达式、赋值语句、条件语句、循环语句的翻

译。

编译原理

长春工业大学计算机科学与工程学院

属性文法表达式文法 E—>T+T | T or T T—>n | b E T1 + T2 { T1.type = int T2.type= T1.type E.type =int} E T1 or T2 { T1.type = bool T2.type= T1.type E.type =bool} T n { T.type = int} T b { T.type = bool}

编译原理

长春工业大学计算机科学与工程学院

属性文法对于某个压缩了的文法，当把每个文法符号和一组属性相关联，并把产生式附加以语义规则的时候，就得到属性文法。语法制导的翻译过程：由于属性文法的规则和产生式是一一对应的关系，所以，由属性文法确定的语义分析可以在语法分析的过程中进行。这个过程称为语法制导的翻译。

编译原理

长春工业大学计算机科学与工程学院

属性文法(attribute grammar) A=(G,V,F),其中 G:一个CFG, 属性文法的基础。 V:有穷的属性集每个属性与一个文法符号相关联这些属性代表与文法符号相关的语义信息

如类型、地址、值、代码、符号表内容等等属性与变量一样，可以进行计算和传递属性加工的过程即是语义处理的过程属性加工与语法分析同时进行属性的表示：标识符(或数),写在相应文法的下边点记法：E.Val,E.Place,E.Type… F:关于属性的属性断言或一组属性的计算规则(称为语义规则) . 断言或语义规则与一个产生式相联,只引用该产生式左端或右端的终结符或非终结符相关的属性.

编译原理

长春工业大学计算机科学与工程学院

语义规则描述的工作属性计算静态语义检查符号表操作代码生成

编译原理

长春工业大学计算机科学与工程学院

继承属性和综合属性

两类属性：综合属性(Synthesized Attribute):归约型属性

用于“自下而上”传递信息用于“自上而下”传递信息。

继承属性(Inherited Attribute):推导型属性

属性的计算：A X1 X2 …Xn A的综合属性,计算 S(A) =f(A(X1),…A(Xn)) Xj的继承属性,计算 I(Xj)=f(A(A),... A(Xn))

文法符号属性的

说明：非终结符既可有综合属性也可有继承属性，但文法开始符号没有

继承属性. 终结符只有综合属性.

通常规定：文法符号的综合属性与继承属性无交。

编译原理

长春工业大学计算机科学与工程学院

综合属性的例子非终结符E、T及F都有一个

产生式

语义规则

Print(E.val) L→ E E →E1+T E.val=E1.val+T.val E→T E.val=T.val T →T1 * F T.val=T1.val F.val T→F T.val=F.val F→(E) F.val=E.val F→digit F.val=digit.lexval

综合属性val,符号digit有一个综合属性，它的值由词法分析器提供。与产生式L→E对应的语义

规则仅仅是打印由E产生的算术表达式的值的一个过程，可认为这条规则定义了L的一个虚属性。某些非终结符加上标是为

了区分一个产生式中同一非终结符多次出现

编译原理

长春工业大学计算机科学与工程学院

综合属性的自下而上定值设表达式为3*5+4,则语义动作打印数值19LE.val=19 E.val=15+

T.val=4 F.val=4

T.val=15

T.val=3*

F.val=5digit.lexval=4 digit.lexval=5

F.val=3 digit.lexval=3

3*5+4的带注释的分析树