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返回其值