抽象数据类型的定义格式

抽象数据类型的定义通常包含以下几个部分：

1. 数据类型的名称：用于标识该数据类型，通常是一个有意义的名称，例如 Stack（栈）、Queue（队列）等。
2. 数据类型的抽象描述：用自然语言或伪代码等方式描述该数据类型的基本性质、操作和限制等，例如栈的基本性质是先进后出，支持 push（入栈）和 pop（出栈）等操作。
3. 数据类型的操作定义：列出该数据类型支持的操作及其参数和返回值等，例如 Stack 数据类型支持 push、pop、isEmpty 等操作。
4. 数据类型的实现细节：可以包括数据结构的选择、具体实现方式、算法复杂度分析等，但不是必须的，因为 ADT 只关注数据类型的抽象描述，实现细节可以由具体的实现来确定。

一般来说，抽象数据类型的定义使用类似于伪代码的方式，以表达清晰、简洁为主要目的。例如，栈的 ADT 定义可以如下所示：

ADT Stack:
  // 抽象描述
  Stack() // 构造一个空栈
  push(item) // 元素 item 入栈
  pop() // 栈顶元素出栈并返回，若栈空则返回错误
  top() // 返回栈顶元素，若栈空则返回错误
  isEmpty() // 判断栈是否为空，返回布尔值

  // 操作定义
  Stack() // 构造一个空栈
  push(item) // 将元素 item 入栈
  pop() -> item // 栈顶元素出栈并返回，若栈空则返回错误
  top() -> item // 返回栈顶元素，若栈空则返回错误
  isEmpty() -> bool // 判断栈是否为空，返回布尔值

这个定义包括了栈的名称、抽象描述、操作定义等部分，其中抽象描述使用了自然语言，操作定义使用了伪代码。