Stack Empty(s) 初始条件:栈S已存在。 操作结果:若栈S为空栈, 则返回TRUE,否则FALEStackEmpty(S) 初始条件：栈 S 已存在。 操作结果：若栈 S 为空栈， 则返回 TRUE，否则 FALE