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

一、知识总结

1.属性文法

   1.1属性文法

         是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关          的“值”（称为属性，代表与文法符号相关的信息，和变量一样，可以进行计算和传               递）。

    1.2属性分类

        1.2.1综合属性
                  用于“自下而上”传递信息
                  在语法树中，一个结点的综合属性的值，由其子结点的属性值确定

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

         1.2.2继承属性
                    用于“自上而下”传递信息。

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

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

  

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

  对于A->a ，b:=f(c1,c2,…,ck)，b是A的一个综合属性并且c1,c2,…ck是产生
式右边文法符号的属性；或者b是产生式右边某个文法符号的一个继承属性并且
c1,c2,…ck是A或产生式右边任何文法符号的属性
    
 注意：
 （1）终结符只有综合属性，它由词法分析器提供

      

           （2）非终结符既可以有综合属性也可以有继承属

        性，文法开始符号的所有继承属性作为属性计算前的初始值。
 
 2基于属性文法的处理过程
   
2.1基于属性文法的处理过程

        

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

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

          

        2.2依赖图

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

     

       2.3属性的计算次序

         如果mi->mj是mi到mj的一条边，那么在序列中mi必须出现在mj之前。
  在拓扑排序中，在一个结点上，语义规则b:=f（c1,c2,…ck)中的属
性c1,c2…ck在计算b以前都是可用的。

3.一遍扫描的处理方法  

        

            一遍扫描的处理方法是在语法分析的同时计算属性值，而不是语法分

析构造语法树之后进行属性的计算，而且无需构造实际的语法树。
 

        4.抽象语法树

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

    

          5.S-属性文法的自下而上计算

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

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

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

             7.翻译模式

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

         

            7.1自顶向下的翻译 

   从翻译模式中消除左递归  

   在这一章主要学习的就是属性文法和语法制导翻译，在属性文法的基础上来求各个字符串的值，在球会的过程中依据依赖图的拓扑顺序来求值，但并不是拓扑顺序并不是唯一的，而且如果一颗语法数对应有环的拓扑顺序就不能求出值来，对应的两种属性。其中， S属性的SDD可以在自底向上的语法分析过程中实现，L属性的SDD可以在自顶向下的语法分析过程中实现。