* 抽象数据类型的描述 其中数据对象数据之间的关系用伪码描述基本操作定义格式为 ADT 抽象数据类型名 { 数据对象数据对象的定义 数据关系数据关系的定义 基本操作基本操作的定义 } ADT 抽象数据类型名 基本操作名参数表 初始条件先决条件描述 操作结果操作结果描述 示例三元组ADT描述 ADT Triplet{ 数据对象D = {e1,e2,e3 | e1,e2,e3属于Elemset(定义了