强制式语言 ——冯诺依曼模型
对象式语言——抽象数据类型
函数式语言 ——函数
逻辑式语言——数理逻辑
冯诺依曼体系结构4大特点
①数据和指令以二进制形式存储
②存储程序式工作
③程序顺序执行
④存储器内容可以修改
体现在变量,赋值和重复
静态绑定:绑定在运行之前编译时完成,运行时不改变
动态绑定:运行时完成可以改变
变量是对存储单元的抽象 有4个属性:作用域,生存期,值和类型
类型绑定时大多是静态绑定,APL,SNOBOL4是动态的,而变量值的绑定都是动态的
程序单元:程序执行过程中的独立调用单位
在运行时,一个单元表示由一个代码段和一个活动记录组成 称为单元实例
活动记录:包含这个单元所必须的信息,以及单元局部变量绑定的数据对象的存储区。
数据类型实质上是对存储器中所存储的数据进行的抽象。
数据类型作为数据结构的抽象表示,可以分为三个层次的抽象,即内部类型、用户定义类型和抽象数据类型。
数据类型包含一组值和一组操作。
内部类型为语言根据不同类型定义的,用户定义类型为用户定义的
语言除内部类型外,还允许用户借助于语言提供的数据的组合(聚合)机制,自己定义新的数据类型。
许多语言允许程序员规定基本数据对象的聚合(乃至聚合的聚合)
聚合方法:
笛卡尔积 ——-C 中的struct student{
int num;char name[20];}
有限映像 ——数组 int intarr[5]
序列 ——串
char c[]={"Hello"}
递归——指针
判定或——C语言的union
幂集 ——某个类型T 的所有子集的集合
类型检查——动态,静态
对数据对象的类型和使用的操作是否匹配的一致性检查