一个栈(Stack)对象有三种状态:S1——栈空;S2——栈非空也非满;S3——栈满。则各个状态的条件如下: S1:(t

一个栈(Stack)对象有三种状态：S1——栈空；S2——栈非空也非满；S3——栈满。则各个状态的条件如下：

S1：(t0)创建栈对象时初始化，这是系统做的

(t1)在S2状态下执行置空运算setEmpty()

(t2)在S3状态下执行置空运算setEmpty()

(t3)在S2状态下执行出栈运算Pop()

S2：(t4)在S1状态下执行进栈运算Push()

(t5)在S3状态下执行出栈运算Pop()

S3：(t6)在S2状态下执行进栈运算Push()

为简化问题，假设栈Stack的容量为2，栈元素的数据类型为整数。

根据题意，画出栈对象的状态迁移图；