编译原理第七章总结

一、语义分析概述

1任务：审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。在语义正确的基础上生成一种中间代码或目标代码

2.范围：

   ①.确定类型   ②.类型检查   ③.识别含义

3.语义描述工具和语义分析方法

①语义描述工具

   目前流行：用属性文法作为描述语义的工具

②语义分析方法：语法制导定义、翻译方案

二、几种常用的中间语言形式

1.逆波兰表示法（后缀式）：a+b → ab+

2.图表示法

抽象语法树。    
无循环有向图（DAG）

  DAG与抽象语法树基本上一样，对表达式中的每个子表达式，DAG中都有一个结点。一个内部结点表示一个操作符，它的孩子表示操作数

3.三元式

三元式由三个部分组成：
       算符：OP
      第一运算分量：ARG1

      第二运算分量：ARG2

4.间接三元式

在三元式的基础上附加一张指示器表─间接码表，按运算的先后顺序列出有关三元式在三元式表中的位置。这种表示方法称为间接三元式

5.四元式

一个四元式是一个带有四个域的记录结构：op,arg1,arg2及result。它实际上就是一条三地址的指令。

二、赋值语句的翻译

 1.简单算术表达式的赋值语句：

      所谓简单指不考虑数组元素、记录、函数的引用等情况。

2.类型转换

有的程序设计语言允许混合运算，有的不允许。如果不允许，则发现有类型不相同的运算分量就应该报错。如果允许，就要进行类型转换。

三、控制流语句的翻译
可以仿照算术表达式的翻译来进行。
   例如 A∨B∧C=D可翻译成如下四元式序列：
      (=,C,D,T1)
      (∧,B,T1,T2)

      (∨,A,T2,T3)

例题：

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

三地址语句的四元式表示

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

课后题：

心得体会：

这一章虽然内容比较多，但我真正掌握的却精力不多，我把大多数的精力放在了逆波兰式、三元式序列、四元式序列以及给出一个C语言表达式翻译成四元式序列，至于中间语言和常见的语言翻译以及赋值语句则看得很少。