第六、七章总结

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

属性的分类：
      综合属性

      继承属性

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

需要注意的是：

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

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

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

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

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

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

假设语法树已经建立起了，并且树中已带有开始符号的继承属性和终结符的综合属性。然后以某种次序遍历语法树，直至计算出所有的属性。
最常用的遍历方法是深度优先，从左到右的遍历方法

如果需要，可使用多次遍历。

自顶向下翻译：

用翻译模式构造自顶向下翻译。
1.从翻译模式中消除左递归  

对于一个翻译模式，若采用自顶向下分析，必须消除左递归和提取左公因子，在改写基本文法时考虑属性值的计算。

2.关于左递归翻译模式更一般化的讨论
左递归翻译模式
         A→A1Y｛A.a:=g(A1.a,Y.y)} 
         A→X ｛A.a:=f(X.x)}                  (1式)
每一个文法符号都有一个综合属性，用相应的小写字母表示，g和f是任意函数。 
消除左递归，文法转换成
         A→X R

         R→Y R|ε      

第七章    中间代码

中间语言 :
  语法树 
  后缀式

  三地址代码表示

中 缀式： a:=b*-c+b*-c
后缀式：

       a b c - * b c - * + =

       1．四元式  op, arg1, arg2, result
      2．三元式 op, arg1, arg2
      3．间接三元式  间接码表+三元式表（其实我觉得这里，只是换了一下地址而已）

eg.  对于语句a:=b*-c+b*-c 的三种表示方法

(- , c  ,    ,    t1)
 (* , b  , t1   ,   t2)
 (- , c  ,    ,    t3)
 (* , b  ,  t1   ,   t4)
 (+ ,t2 ,  t4 ,  t5)

 (= , t5 ,        ,a)

布尔表达式：a or b and not c 
 翻译成三地址代码序列：
    100 ： t1:=not c 
    101 ： t2:=b and t1

    102 ： t3:=a or t1 

总结：

以上是我整理的在学习和复习阶段具有一定难度和认为比较重要的知识点。

考完编译原理了。做一个这学期的总总总结吧：

（图片粘贴的人家的，如有侵权立即删除）

词法分析:从左至右扫描字符序列，识别出单词(关键字、标示符、常数、特殊符号)。

语法分析:按照语言语法的规则，将词法分析所得的单词分解为各个语法成分。(分析单词串是否构成短语和句子)。
语义分析：源程序进行上下文有关性质的检查，看源程序有无语义错误。例如：变量是否定义、类型是否正确。

中间代码优化:有局部优化、循环优化和全局优化。主要方法有代码外提、强度削弱、删除归纳变量等。
目标代码生成：针对具体设备进行汇编优化等。

中间代码生成:含义明确、便于处理的记号系统。这种记号系统于源程序和机器语言之间，容易将它翻译成目标代码。如三元式、四元式、逆波兰式等。

其中，词法分析、语法分析、语义分析是老师讲课用时比较多的，应该是很重要的一块。

虽然考试已经结束，但是学习之路不能停止，编译原理是学习计算机科学与技术的基础，所以这门课并不能像%……&*课考完就扔掉的。虽然我上课总是溜神，但课后理解老师上课讲的内容并不算一件太困难的事情，所以还是希望这次的成绩能理想~~