类型定义 ADT Stack i 数据对象:D={aa1∈ Elem Set,i=12,,n,n20} 数据关系:R1={<aa1斗a1a1∈D,=2,,n} 约定a端为栈顶,a1端为栈底。 基本操作: Initstack(&s) 操作结果:构造一个空栈S。 Destroy Stack&s 初始条件:栈S已存在。 操作结果:栈S被销毁。类型定义 • ADT Stack { 数据对象：D＝{ ai | ai ∈ElemSet, i=1,2,...,n, n≥0 } 数据关系：R1＝{ < ai-1 , ai >| ai-1 , ai ∈D, i=2,...,n } 约定an端为栈顶， a1端为栈底。 基本操作： InitStack(&S) 操作结果：构造一个空栈 S。 DestroyStack(&S) 初始条件：栈 S 已存在。 操作结果：栈 S 被销毁