给定有限符号集 $S$, in 和 out 均为 $S$ 中所有元素的任意排列. 对于初始为空的栈 ST, 下列辍述中，正确的是 ( ).
A. 若 in 是 ST 的入栈序列, 则不能判断 out 是否为其可能的出栈序列
B. 若 out 是 ST 的出栈序列, 则不能判断 in 是否为其可能的入栈序列
C. 若 in 是 ST 的入栈序列, out 是对应 in 的出栈序列, 则 in 与 out一定不同
D. 若 in 是 ST 的入栈序列, out 是对应 in 的出栈序列, 则 in 与 out 可能互为倒序
栈具有后进先出的特性, 因此根据入栈序列 (或出栈序列) 能够判断出栈序列(或入栈序列), 因此, A 和 B 均不正确。入栈序列和出栈序列可能相同, 即 push, pop 交替进行,可使入栈序列=出栈序列, 因此, $\mathrm{C}$ 不正确。根据栈具有后进先出的特性, 先一直执行 push 操作, 等序列全部入栈后, 再一直执行 pop 操作, 则可获得互为倒序的输入和输出序列, 因此, D 正确。

因此答案为：D