编译复习第二章

强制式语言 ——冯诺依曼模型

对象式语言——抽象数据类型

函数式语言 ——函数

逻辑式语言——数理逻辑

冯诺依曼体系结构4大特点

①数据和指令以二进制形式存储

②存储程序式工作

③程序顺序执行

④存储器内容可以修改

体现在变量，赋值和重复

静态绑定：绑定在运行之前编译时完成，运行时不改变

动态绑定：运行时完成可以改变

变量是对存储单元的抽象 有4个属性：作用域，生存期，值和类型

类型绑定时大多是静态绑定，APL,SNOBOL4是动态的，而变量值的绑定都是动态的

程序单元：程序执行过程中的独立调用单位

在运行时，一个单元表示由一个代码段和一个活动记录组成 称为单元实例

活动记录：包含这个单元所必须的信息，以及单元局部变量绑定的数据对象的存储区。

数据类型实质上是对存储器中所存储的数据进行的抽象。

数据类型作为数据结构的抽象表示，可以分为三个层次的抽象，即内部类型、用户定义类型和抽象数据类型。

数据类型包含一组值和一组操作。

内部类型为语言根据不同类型定义的，用户定义类型为用户定义的

语言除内部类型外，还允许用户借助于语言提供的数据的组合（聚合）机制，自己定义新的数据类型。
许多语言允许程序员规定基本数据对象的聚合（乃至聚合的聚合）

聚合方法：

  笛卡尔积 ——-C 中的struct student{

int num;char name[20];}

 有限映像 ——数组 int intarr[5]

序列 ——串

char c[]={"Hello"}

递归——指针

判定或——C语言的union

幂集 ——某个类型T 的所有子集的集合

类型检查——动态，静态

对数据对象的类型和使用的操作是否匹配的一致性检查