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

一、知识总结

        首先学习了属性文法，属性文法是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关的“值”，称为“属性”。属性分为综合属性和继承属性。综合属性用于“自下而上”传递信息，在语法树中，一个结点的综合属性的值，由其子结点的属性值确定。继承属性用于“自上而下”传递信息。在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定。语义规则是属性计算的过程即是语义处理的过程对于文法的每一个产生式配备一组属性的计算规则。

        之后学习了基于属性文法的处理方法。基于属性文法的处理过程是输入串——》语法树——》依赖图——》语义规则计算次序——》计算结果。在一颗语法树中的结点的继承属性和综合属性之间的相互依赖关系可以用称作依赖图的一个有向图来描述。假设语法树已经建立起了，并且树中已带有开始符号的继承属性和终结符的综合属性。然后以某种次序遍历语法树，直至计算出所有的属性。最常用的遍历方法是深度优先，从左到右的遍历方法，如果需要，可使用多次遍历。与树遍历的属性计算方法不同，一遍扫描的处理方法是在语法分析的同时计算属性值，而不是语法分析构造语法树之后进行属性的计算，而且无需构造实际的语法树。从语法树中去掉对翻译不必要的信息，而获得更有效的源程序中间表示。这种经变换后的语法树称之为抽象语法树。

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

二、感想

        这一章的知识比较少，对于我来说，却是最难理解的，最直接的感受就是在理解属性文法的时候，“明明都是汉字，偏偏就是读不明白”，老师上课讲的时候听不懂，自己课下看也看不懂，最后复习的时候才勉强理解，准确的说是自己编了一种理解说服了自己。