编译原理复习提纲.pdf

编译原理复习提纲 checking ）; 程序设计语言与编译复习提纲 静态检查使程序更正确更有效 语言部分 动态检查使编程方便,但影响了可 读性,且降低了执行效率  何谓类型等价 第一章 若 T1 和 T2 是两个类型，且 T1 的  变量及其属性 任何值都可以赋予 T2 类型的变量， 变量是对一个(或若干个)存储单元 T1 类型的实参可以对应类型 T2 的抽 ，赋值语句则是修改存储单 的形参，反之亦然，则称 T1 和 T2 元内容的抽象。 是相容的，或等价的 变量除名字外,具有四个属性:作用 名字等价：两个变量的类型名相同 域 （Scope）、生存期(Lifetime)、值 结构等价：两个变量的类型具有相 (Value)和类型(Type) 。 同的结构。  虚拟机的概念  内情向量及内容 虚拟机是由软件实现的机器。 任何对数组元素的访问都编译成  程序单元及单元实例 通过动态描述符的间接地址，动态 程序执行过程中的独立调用单元； 描述符通常成为内情向量。 如子程序、分程序、过程等 第三章 运行时，单元表示由一个代码段和 一个活动记录组成，称为单元实例。  语句级控制结构 第二章 顺 序 （ sequencing ）、 选 择 （selection ）、重复（repetition ）  数据类型的作用  单元级控制结构 1.实现了数据抽 规定程序单元之间控制流程的机 2.使程序员从机器的具体特征中解 制。有显式调用、异常处理、协同 脱出来 程序和并发单元。 3.提高了编程效率  异常处理的主要问题  数据聚合的几种方式 1）异常如何说明，它的作用域是 笛卡尔积、有限映像、序列、递归、 什么？ 判定或、幂集 2 ）异常如何发生（或如何发信  动态数组 号）？ 动态数组是指在声明时没有确定 3 ）发出异常信号时，如何控制要 数组大小的数组 执行的单元（异常处理程序）？  抽象数据类型的条件