程序设计语言——编译原理 第六、七章总结

程序设计语言——编译原理 第六、七章总结

知识点

CHP6

语义分析是在上下文无关文法的基础上，进行扩充，为每个文法符号赋值，形成属性文法。      

1.属性文法

①为文法符号E引进属性符号val，用E.val表示E的值

②属性计算规则以赋值语句的形式给出，附在每个产生式后，用花括号括出

③为表明同一符号不同的出现位置，用上角标区分

④终结符的值由词法分析程序提供

2.属性&分类

属性代表与文法符号相关信息（例如其类型，值，代码序列……）

属性分为综合属性与继承属性

综合属性

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

②在语法树中，一个结点的综合属性的值，由其子结点的属性值确定

继承属性

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

②在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定

3.语义规则

属性计算的过程即是语义处理的过程

对于文法的每一个产生式配备一组属性的计算规则，则称为语义规则

在一个属性文法中，对应于每个产生式A都有一套与之相关联的语义规则，每条语义规则的形式为：

b:=f(c1,c2,…,ck)  

这里f是一个函数，而且或者

(1)b是A的一个综合属性并且c1,c2,…ck是产生式右边文法符号的属性；或者

(2)b是产生式右边某个文法符号的一个继承属性并且c1,c2,…ck是A或产生式右边任何文法符号的属性在这两种情况下，我们都说属性b依赖于属性c1,c2,…,ck.

①终结符只有综合属性，它由词法分析器提供

②非终结符既可以有综合属性也可以有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值

③ 产生式右边符号的继承属性和产生式左边符号的综合属性都必须提供一个计算规则

④产生式左边符号的继承属性和产生式右边符号的综合属性不由所给的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算

4.  语法制导翻译法：这种由源程序的语法结构所驱动的处理办法就是语法制导翻译法

5.依赖图

在一颗语法树中的结点的继承属性和综合属性之间的相互依赖关系可以用称作依赖图的一个有向图来描述

如果在一棵语法树中一个结点的属性b依赖于属性c，那么这个结点处计算b的属性规则必须在确定c的语义规则之后使用

在为一棵语法树构造依赖图以前，我们为每一个包含过程调用的语义规则引入一个虚综合属性b，这样把每一个语义规则都写成

b:= f(c1,c2, …ck)依赖图中为每一个属性设置一个结点，如果属性b依赖属性c，则从属性c的结点有一条有向边连到属性b的结点

6.依赖图的构造算法

for分析树中每一个结点n

          for 结点的文法符号的每一个属性a

                    为a在依赖图中建立一个结点；