栈的抽象数据类型定义

ADT Stack {

        数据对象：
                       D = {ai | ai ∈ ElemSet，i = 1,2,3,....,n, n ≥ 0}  // ElemSet 表示元素的集合

        数据关系：

                        R1={<ai-1, ai> | ai-1 , ai∈D，i=2，...，n}  // ai-1为前驱，ai为后继

                        约定 an 端为栈顶，a1 端为栈底

          基本操作：初始化、进栈、出栈、取栈顶元素等

}  ADT Stack

 

InitStack（&S）初始化操作

操作结果：构造一个空栈 S

 

DestroyStack（&S）销毁栈操作

初始条件：栈S已存在

操作结果：栈S被销毁

 

StackEmpty（S）判定栈是否为空栈

初始条件：栈S已存在

操作结果：若栈S为空栈，则返回TRUE，

                  若栈S为非空，则返回FALSE。

 

StackLength（S）求栈的长度

初始条件：栈S已存在

操作结果：返回栈S的元素个数，即栈的长度

 

GetTop（S，&e）取栈顶元素

初始条件：栈S已存在且非空

操作结果：用e返回S的栈顶元素

 

ClearStack（&S）栈指控操作

初始条件：栈S已存在

操作结果：将S清为空栈

 

Push（&S，e）入栈操作

初始条件：栈S已存在

操作结果：插入元素e为新的栈顶元素

 

Pop（&S，&e）出栈操作

初始条件：栈S存在且非空

操作结果：删除栈SD栈顶元素an，并用e返回其值

 

标签：空栈,定义,ai,元素,栈顶,初始条件,抽象数据类型,操作
来源： https://www.cnblogs.com/AronKeener/p/15365332.html