编译原理作业集－第七章 语义分析和中间代码产生
第七章 语义分析和中间代码产生
本章要点
1. 中间语言，各种常见中间语言形式；
2. 说明语句、赋值语句、布尔表达式、控制语句等的翻译； 3. 过程调用的处理； 4. 类型检查；
本章目标
掌握和理解中间语言，各种常见中间语言形式；各种语句到中间语言的翻译；以及类型检查等内容。
本章重点
1．中间代码的几种形式，它们之间的相互转换：四元式、三元式、逆波兰表示； 3．赋值语句、算术表达式、布尔表达式的翻译及其中间代码格式； 4．各种控制流语句的翻译及其中间代码格式； 5．过程调用的中间代码格式； 6．类型检查；
本章难点
1. 各种语句的翻译； 2. 类型系统和类型检查；
作业题
一、单项选择题：
1. 布尔表达式计算时可以采用某种优化措施，比如A and B用if-then-else可解释为_______。
a. if A then true else B； b. if A then B else false； c. if A then false else true； d. if A then true else false； 2. 为了便于优化处理，三地址代码可以表示成________。
a. 三元式 b. 四元式 c. 后缀式 d. 间接三元式 3. 使用三元式是为了________：
- 1 - - -
西安理工大学计算机科学与工程学院，张发存编写 2013-5-20，9:37:18
编译原理作业集－第七章 语义分析和中间代码产生
a. 便于代码优化处理 b. 避免把临时变量填入符号表 c. 节省存储代码的空间 d. 提高访问代码的速度 4. 表达式-a+b*(-c+d)的逆波兰式是________。
a. ab+-cd+-*；b. a-b+c-d+*；c. a-b+c-d+*；d. a-bc-d+*+； 5. 赋值语句x:=-(a+b)/(c-d)-(a+b*c)的逆波兰式表示是_______。
a. xab+cd-/-bc*a+-:=；a. xab+/cd-bc*a+--:=；a. xab+-cd-/abc*+-:=；a. xab+cd-/abc*+--:=； 6. 在一棵语法树中结点的继承属性和综合属性之间的相互依赖关系可以由________来描述。
a. 抽象语法树；b. 语法规则；c. 依赖图；d. 三地址代码；
7. 按照教材中的约定，三地址语句if x relop y then L表示成四元式为 。
a. (relop，x，y，L)；b. (relop，L，x，y)；c. (relop，x，L，y)；d. (L，x，y，relop)； 8. 在编译程序中， 不是常见的中间语言形式。
a.波兰式；b. 三元式；c. 四元式； d. 抽象语法树； 9. 在编译程序中安排中间代码生成的目的是________。
a. 便于提高编译效率； b. 便于提高分析的正确性；
c. 便于代码优化和目标程序的移植；d.便于提高编译速度； 10. 按照教材中的约定，下面 不是类型表达式：
a. boolean；b. type-error；c. real；d. DAG； 11. 一个Pascal函数
function f ( a, b:char ) :↑integer; ……
其作用域类型是 ：
a. char×integer；b. char×char；c. char×pointer(integer)；d. integer×integer；
12. 因为标识符可用于多种情况，比如常量标识符、变量标识符、过程标识符等等。因此，在符号表中为了给出各个符号的标志，常给标识符引入一个属性kind，然后在相应产生式的语义动作中添加给kind属性赋值的语句。比如，在在产生式D?id:T的语义动作中添加赋值语句id.kind= 。
a. VAR； b. CONSTANT；c. PROC；d. FUNC；
13. 下面 情况下，编译器需要创建一张新的符号表。
a. 过程调用语句；b. 标号说明语句；c. 数组说明语句；d.记录说明语句； 14. 函数function f(a,b:char):↑integer;… 所以f函数的类型表达式为：
a. char×char→pointer(integer)； b. char×char→pointer；
c. char×char→integer； d. char×char→integer (pointer)
15. 如果一个语言的编译器能保证编译通过的程序，在运行时不会出现类型错误，则称该语言是 。
a. 静态的；b. 强类型的；c. 动态的；d. 良类型的；
一．答案：1. b；2. d；3. b；4. d；5. c；6. c.；7. a；8. a；9. c；10. d；11. b；12. a；13. d；14. a；15. b；
西安理工大学计算机科学与工程学院，张发存编写 2013-5-20，9:37:18 - 2 - - -
编译原理作业集－第七章 语义分析和中间代码产生
二、填空题：
1. 语法分析是依据语言的语法规则进行的，中间代码产生是依据语言的________规则进行的。
2. 多目运算x:=y[i]的三元式表示为两部分：________________和________________。 3. 生成三地址代码时，临时变量的名字对应抽象语法树的____________。
4. 一个类型表达式或者是基本类型，或者由____________施加于其它类型表达式组成。 5. 在程序设计语言中，布尔表达式有两个基本的作用：一个是 ；另一个是 。
6. 允许嵌套过程的语言，其过程说明语句的翻译用两个栈tblptr和offset分别保存尚未处理完的过程的 和它们的offset，这两个栈顶的元素分别是正在处理的过程的的符号表指针和 。
7. 在一些pascal的实现中，如果说明中出现了没有名字的类型表达式，编译器这样处理：建立一个 来和每个声明的变量标识符相联系。
8. 赋值语句a:=b*-c+b*-c的后缀式为 。
9. 多目运算X[i]:=y的三元式表示为两部分：________________和________________。 10. 编译器遇到常量说明时，要把常量值登录入 并回送序号；在 中为等号左边的标识符建立新条目，在该条目中填入常量标志、相应类型和常量表序号。 11. 典型的转移条件语句：if E then S1 else S2中，作为转移条件的布尔表达式E，赋予它两种“出口”：一是 ；二是 。
12. 类型表达式或者是 ，或者是 作用在其它类型表达式上得到的新的类型表达式。
13. pascal变量说明： var A:array[1..10] of integer
与A相关的类型表达式为： 。 14. 若T是类型 表达式，则pointer(T)是类型表达式，它表示 类型 。 15. 通过一遍扫描来产生布尔表达式和控制流语句的代码存在一个问题，就是当生成某些转移语句时可能还不知道该语句将要转移到的语句的地址是什么。采用 的办法来解决这个问题。
二．1. 语义；2. (0): ( [ ]=, y, i )，(1): ( assign, x, (0) )；3. 内部结点；4. 类型构造符；5. 计算逻辑值；作控制流语句中的条件表达式；6. 符号表指针，相对地址；7. 隐含的类型名；8. a b c uminus * b c uminus * + assign；9. (0):（=[ ]，x，i）；(1):（assign，(0)，y）；10. 常量表；符号表；11. “真”出口，转向S1；“假”出口，转向S2；12. 基本类型；类型构造符；13. array(1..10, integer) ；14. “指向T类型对象的指针”；15. “拉链－回填”
三、判断题：
1. 中间代码是独立于机器的，复杂性介于源语言和机器语言之间，便于进行与机器无关调换代码优化工作。（ ）
西安理工大学计算机科学与工程学院，张发存编写 2013-5-20，9:37:18
- 3 - - -
编译原理作业集－第七章 语义分析和中间代码产生
2. 在程序设计语言中，一般来说，布尔表达式仅仅用于条件、循环等控制流语句中的条件表达式计算。（ ）
3. “回填”技术用于对过程中的说明语句进行处理时把计算出的有关符号的属性填入符号表。 ( )
4. 如果E是一个常量或变量，则E的逆波兰式是E自身。( ) 5. 对于任何一个编译程序来说，中间代码的产生是不一定必要的。（ ）
6. 由于三元式中的三个域中，仅有两个域与地址有关，所以，三元式不是严格意义上的三地址代码。（ ）
7. 两个类型表达式要么是同样的基本类型，要么是同样的类型构造符作用于结构等价的类型，我们就说，这两个类型系统等价。（ ）
8. 对于Pascal这样允许嵌套过程的语言，每当遇到过程说明D?proc id ; D1; S时，便创建一张新的符号表，也就是说，让每个过程说明都有自己一张独立的符号表。（ ）
9. 记录类型的各个域变量分配存储区域的地址的确定是相对于为记录类型变量所分配存储区域的首地址的，所以记录类型不应该建立自己的符号表。（ ） 10. 类型表达式中不可出现类型变量，即类型变量值不是类型表达式。（ ）
11. 所谓类型系统就是把类型表达式赋给语言各相关结构成分的规则的集合。同一种语言（比如C++语言）的编译程序，在不同的实现系统里（比如微软的Visual C++和Linux下的开源编译器TCC），可能使用不同的类型系统。
12. 四元式表示的是四地址代码，三元式表示的是三地址代码。（ ） 13. 生成三地址代码时，临时变量的名字对应抽象语法树的内部结点。（ ）
14. 后缀式是抽象语法树的线性表示形式，后缀式是树结点的一个序列，其中每个结点 都是在所有子结点之后立即出现的。（ ）
15. 后缀表示形式只是用于表达式的，其他的语法结构比如条件语句、循环语句等不能使用后缀式。（ ）
三．答案：1. ?；2. ×；3. ×；4. ?；5. ?；6. ×；7. ?；8. ?；9. ×；10. ×；11. ?；12. ×；13. ?；14. ?；15. ×；
四、名词解释：
1. 三地址代码； 2. 回填；
3. 类型表达式； 4. 类型系统； 5. 静态语义检查
四．答案：
1. 三地址代码是由下面一般形式的语句构成的序列：x:= y op z。其中x、y、z为名字、常数或编译时产生的临时变量；op代表运算符号如定点运算符、浮点运算符、逻辑运算符等等，每个语句的右边只能有一个运算符。
2. 通过一遍扫描来产生布尔表达式和控制流语句的代码的主要问题在于，当生成某些转移语句时我们可能还不知道该语句将要转移到的标号是什么。为了解决这个问题，可以在生成形成分支的跳转指令时，暂时不确定跳转目标，而建立一个链表，把转向这个目标的跳转指
西安理工大学计算机科学与工程学院，张发存编写 2013-5-20，9:37:18
- 4 - - -
编译原理作业集－第七章 语义分析和中间代码产生
令的标号键入这个链表，一旦目标确定之后再把它填入有关的跳转指令中。这种技术称为回填。
3. 一个类型表达式或者是基本类型，或者由类型构造符施于其他类型表达式组成。基本类型和类型构造符都因具体语言的不同而不同。 Ⅰ. 一个基本类型是一个类型表达式。 Ⅱ. 类型名是一个类型表达式
Ⅲ. 类型构造符作用于类型表达式，其结果仍然是类型表达式 Ⅳ. 类型表达式中可出现类型变量，即变量值是类型表达式。
4. 所谓类型系统就是把类型表达式赋给语言各相关成分的规则的集合。同一种语言的编译程序，在不同的实现系统里，可能使用不同的类型系统。
5. 静态语义检查就是编译过程中进行的语义检查。主要工作有：类型检查、控制流检查、一致性检查、相关名字检查，还有名字的作用域分析等。
五、简答题：
1. 四元式和三元式有什么不同？
2. 为什么要使用中间代码的表示形式？
3. 现在有四种程序设计语言：PASCAL、FORTRAN、C和BASIC。要求在A、B、C和D四种机器上都能编译这四种语言，而编译程序需要在中间语言级别上进行优化处理。问：需要编制多少个编译程序的前后端接口？
4. 为什么三元式没有存放计算结果的单元？
5. 过程调用语句在翻译的时候，如何处理参数传递的问题（只考虑传递实在参数地址的情况）？P200.
五．答案： 1. 一个四元式是一个带有四个域的记录结构，分别为op，arg1，arg2，result。四元式之间的联系是通过临时变量来实现的，更改一个四元式表很容易，因此对中间代码进行优化处理时比较方便。 一个三元式是一个带有三个域的记录结构，分别为op，arg1，arg2。三元式之间的联系是通过指针来实现的，更改一个三元式表没有四元式表那样容易，但是，对中间代码进行优化处理时，四元式和间接三元式同样方便。 2. 使用中间代码有如下好处：
（1）中间形式与具体机器无关，把与机器特性紧密相关的内容尽可能放到后端，有利于目标重定位，一种中间形式可以为生成多种不同型号目标机上的目标代码服务。 （2）可以对中间代码进行与机器无关的优化，有利于提高目标代码的质量。 （3）使各阶段的开发复杂性降低，有利于编译程序的开发。
3. 由于各种不同的程序设计语言都有很多不同的特点，所以，若有m种不同的程序设计语言，就会有m个前端。这时，如果有n种不同的机器，也就会有n个后端。从理论上讲，如果要移植一个现有的编译程序到另外一台新机器上，只需要重新编写它的后端即可。 现在有四种程序设计语言：PASCAL、FORTRAN、C和BASIC，那么可以得到四个前端：有A、B、C和D四种机器，要求在每种机器上都能编译上述四种语言，只需要根据四种不同机器的特点为每种语言构造四个后端就行了。所以要在A、B、C和D四种机器上都能编译上述四种语言，总共需要编制16个前后端的接口即可。
4. 由于中间语言（包括三元式）是用来辅助生成目标代码的，并不会真正进行计算，也就
西安理工大学计算机科学与工程学院，张发存编写 2013-5-20，9:37:18
- 5 - - -