StrEmpty 初始条件:串S存在 操作结果:若S为空串,则返回TRUE 否则返回 FALSE。 表示空串,空串的长度为零。StrEmpty (S) 初始条件： 串 S 存 在 。 操作结果：若 S 为空串，则返回TRUE， 否则返回 FALSE。  表示空串，空串的长度为零