编译原理属性文法和语法制导翻译

属性文法：是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关的“值”（称为属性）。

属性：代表与文法符号相关的信息，和变量一样，可以进行计算和传递。

属性分类：综合属性和继承属性

综合属性：

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

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

S-属性文法：仅仅使用综合属性的属性文法

继承属性：

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

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

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

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

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

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

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

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

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

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

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

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

基于属性文法的处理过程

输入串->语法树->依赖图->语义规则计算次序->计算结果

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

依赖图的构造算法

for分析树中每一个结点n

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

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

for分析树中每一个结点n

                  for结点n所用产生式对应的每一个语义规则

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

                                 for i :=1 to k

从ci结点到b结点构造一条有向边

属性的计算次序

 一个有向非循环图的拓扑序是图中结点的任何顺序m1,m2, …mk,使得边必须是从序列中前面的结点指向后面的结点。也就是

说，如果mi→mj是mi到mj的一条边，那么在序列中mi必须出现在mj之前

一个依赖图的任何拓扑排序都给出一个语法树中结点的语义规则计算的有效顺序。这就是说，在拓扑排序中，在一个结点上，语

义规则b:=f（c1,c2,…ck)中的属性c1,c2…ck在计算b以前都是可用的

S属性的自下而上计算：

S—属性文法，它只含有综合属性

综合属性可以在分析符号串的同时由自上而下的分析器来构造

分析器可以保存与栈中文法符号有关的综合属性值

每当进行归约时，新的属性值就由栈中正在归约的产生式右边符号的属性值来计算

可以通过扩充分析器中的栈来存放这些综合属性值

S-属性文法的翻译器通常可借助于LR分析器实现

L-属性文法的自顶向下翻译 ：  

L-属性文法

如果每个产生式A →X1 X2 … Xn 的每条语义规则计算的属性是A的综合属性；或者是Xj 的继承属性， 1 ≦j ≦ n, 但它仅依赖：

该产生式中Xj左边符号X1, X2, …, Xj-1的属性

A的继承属性

翻译模式：

翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应，语义规则或语义动作用花括号｛ ｝括起来，

可被插入到产生式右部的任何合适的位置上

这是一种语法分析和语义动作交错的表示法，他表达在按深度优先遍历分析树的过程中何时执行语义动作

翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释