已经存在。操作结果：返回S中元素个数。
GetTopSe初始条件：栈S已经存在且非空。操作结果：用e返回S的栈顶元素。
PushSe初始条件：栈S已经存在。操作结果：插入元素e为S的新栈顶元素。
PopSe初始条件：栈S已经存在且非空。操作结果：删除S的栈顶元素，并用e返回其值。
ADTStack字符串的抽象数据类型定义
ADTStri
g数据对象：具有字符类型的数据元素集合。数据关系：相邻数据元素具有前驱和后继关系。基本操作：
StrLe
gthS初始条件：串S已经存在。操作结果：返回S的元素个数。
StrNegSF初始条件：串S已经存在且非空。操作结果：求S的逆序并将结果保存在串F中。
ADTStri
g本程序包含四个模块：主程序模块；二叉树单元模块（实现二叉树的抽象数据类型，包括结点和指针的定义）；顺序栈单元模块（实现顺序栈的抽象数据类型，包含结点和指针的定义）；字符串单元模块实现字符串的抽象数据类型。四个模块之间调用关系为主程序模块二叉树模块，二叉树模块调用顺序栈模块。详细设计顺序栈类型。
defi
eStack_Size100
ftypedefstructcharelemStack_Sizei
ttop
SqStack基本操作实现的伪代码算法如下：voidI
itStackSqStackSSelem
ewElemTypeStack_SizeifSelemError