编译原理99剖析.pptVIP

第六章 属性文法和语法制导翻译 编译程序的功能和组织结构 表 处 理 词 法 分 析 源 程 序 目 标 程 序 错 误 处 理 语 法 分 析 语义 分析 和 中间 代码 生成 目 标 代 码 生 成 前 端 后 端 中 间 代 码 优 化 本章学习内容 本章介绍有关语义描述及语义处理的问题。其处理的方法主要是属性文法和语法制导翻译。 掌握：属性文法,语法制导翻译的概念 理解：如何在自下而上分析中实现S-属性计算。 第六章 属性文法和语法制导翻译 6.1 属性文法 6.2 语法制导翻译的概述 6.3 S-属性文法的自下向上的计算 6.1 属性文法 属性文法: 是在上下文无关文法的基础上为每个文法符号配备若干个相关的 “值”（称为属性）;对于文法的每一个产生式配备一组属性的“计算规则”(称为语义规则)。 属性和变量一样，可以进行计算和传递。 属性加工的过程即是语义处理的过程 代表与文法符号相关的信息，例如它的类型、值、代码序列?、符号表内容等等。 6.1 属性文法 属性： 综合属性:用于“自下而上”传递信息 在语法树中，一个结点的综合属性的值由其子结点的属性值确定。 继承属性:用于“自上而下”传递信息 在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定。 继承属性和综合属性 例： E → P P.env := E.env; E.val := P.val; E1 → P+E2 P.env := E1.env E2.env := E1.env E1.val :=P.val+E2.val P → n P.val :=n.val P → id P.val :=Lookup(P.env,id.name) P → (E) E.env := P.env P.val := E.val 6.1 属性文法 语义规则: 对应于每个产生式A??都有一套与之相关联的语义规则，每条语义规则的形式为： b:=f(c1,c2,…,ck) 这里f是一个函数，并满足下面的条件之一: （1）b是A的一个综合属性并且c1,c2,…ck是产生式右边文法符号的属性； （2）b是产生式右边某个文法符号的一个继承属性并且c1,c2,…ck是A或产生式右边任何文法符号的属性 在这两种情况下，我们都说属性b依赖于属性c1,c2…,ck. 用于“自下而上”传递信息 在语法树中，一个结点的综合属性的值由其子结点的属性值确定 用于“自上而下”传递信息 在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定。 6.1 属性文法 特别强调： 终结符只有综合属性，由词法分析器提供； 非终结符既可有综合属性也可有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值。 属性计算规则中只能使用相应产生式的文法符号的属性。 一般而言： 出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则. 出现在产生式左边的继承属性和出现在产生式右边的综合属性由其它产生式的属性规则计算或由属性计算器的参数提供 例6.1 计算器程序的属性文法（表6.1) 产生式 语义规则 S’?E print(E?val) 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属性，属性值的设置和语法结构的语义以及翻译程序的需要有关。 6.1 属性文法 语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等。语义规则可能产生副作用（如产生代码），也可能不是变元的严格函数（如某个规则给出可用的下一个数据单元的地址）。这样的语义规则通常写成过程调用，或过程段（如上例中的pri