第六章 属性文法和语法制导翻译

一：属性文法

是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关的“值”（称为属性）。
属性:代表与文法符号相关的信息，和变量一样，可以进行计算和传递。
(1)综合属性
用于“自下而上”传递信息
在语法树中，一个结点的综合属性的值，由其子结点的属性值确定
(2)继承属性
用于“自上而下”传递信息。
在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定
(2)继承属性
用于“自上而下”传递信息。
在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定
4.语义规则所描述的工作
属性计算
静态语义检查
符号表操作
代码生成
二：基于属性文法的处理方法

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

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

 语义规则的计算可能产生代码、在符号表中存放信息、给出错误信息或执行任何其它动作。对输入串的翻译也就是根据语义规则进行计算得出结果。

2 属性的计算次序
    一个有向非循环图的拓扑序是图中结点的任何顺序m1,m2, …mk,使得边必须是从序列中前面的结点指向后面的结点。也就是说，如果mimj是mi到mj的一条边，那么在序列中mi必须出现在mj之前。

3、树遍历的属性计算方法

 假设语法树已经建立起了，并且树中已带有开始符号的继承属性和终结符的综合属性。然后以某种次序遍历语法树，直至计算出所有的属性。

4.抽象语法树

从语法树中去掉对翻译不必要的信息，而获得更有效的源程序中间表示。
 这种经变换后的语法树称之为抽象语法树

三：属性文法的自下而上计算

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

综合属性可以在分析符号串的同时由自上而下的分析器来构造
分析器可以保存与栈中文法符号有关的综合属性值
每当进行归约时，新的属性值就由栈中正在归约的产生式右边符号的属性值来计算
可以通过扩充分析器中的栈来存放这些综合属性值
S-属性文法的翻译器通常可借助于LR分析器实现

四：L-属性文法的自顶向下翻译
属性的计算次序受分析方法所限定的分析树结点建立次序的限制
分析树的结点是自左向右生成
如果属性信息是自左向右流动，那么就有可能在分析的同时完成属性计算

五：翻译模式

翻译模式是语法制导定义的一种便于翻译的书写形式。其中属性与文法符号相对应，语义规则或语义动作用花括号｛ ｝括起来，可被插入到产生式右部的任何合适的位置上。
这是一种语法分析和语义动作交错的表示法，他表达在按深度优先遍历分析树的过程中何时执行语义动作。
翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。

设计翻译模式（根据语法制导定义） 
条件：语法制导定义是L-属性定义 
保证语义动作不会引用还没有计算的属性值。

(1)只需要综合属性的情况 
为每一个语义规则建立一个包含赋值的动作，并把这个动作放在相应的产生式右边的末尾。 
例如： 
产生式 语义规则 
TT1*F Tval:=T1 val*F val 
翻译模式 
TT1*F { Tval:=T1 val*F val}

(2)既有综合属性又有继承属性的情况 
①产生式右边的符号的继承属性必须在这个符号以前的动作中计算出来。 
②一个动作不能引用这个动作右边符号的综合属性。 
③产生式左边非终结符号的综合属性只有在它所引用的所有属性都计算出来以后才能计算。计算这种属性的动作通常可放在产生式右端的未尾。