StrCompare (S,T) 初始条件：串S和T存在。 操作结果：若$>T,则返回值>0； 若$=T,则返回值=0； 若$<T,则返回值<0. 例如：StrCompare('data','state'）≤0 StrCompare('cat','case')0 StrCompare(S,T)是对两个字符串从左到右逐个字符相比（按照ASCII 码值比较)，直到出现不同的字符或者遇到\0’为止，如果全部字符相同， 则认为相等，如果出现不相同的字符，则以第一个不相同的字符的比较结果为 准
StrCompare (S, T) 初始条件： 串 S 和 T 存在。 操作结果： 若S T，则返回值 0； 若S T，则返回值 0； 若S T，则返回值 0。 例如：StrCompare(data , state) StrCompare(cat , case) StrCompare (S, T) 是对两个字符串从左到右逐个字符相比（按照ＡＳＣＩＩ 码值比较），直到出现不同的字符或者遇到‘＼０’为止，如果全部字符相同， 则认为相等，如果出现不相同的字符，则以第一个不相同的字符的比较结果为 准
StrLength (S) 初始条件：串S存在。 操作结果：返回S的长度
StrLength (S) 初始条件：串 S 存在。 操作结果：返回 S 的长度
Concat (&T,S1,S2) 初始条件：串S1和S2存在。 操作结果：用T返▣由S1和S2 联接而成的新串。 例如：Concate(工，'man','kind) 求得T-mankind
Concat (&T, S1, S2) 初始条件：串 S1 和 S2 存在。 操作结果：用 T 返回由 S1 和 S2 联接而成的新串。 例如： Concate( T, man , kind) 求得 T =
SubString (&Sub,S,pos,len) 初始条件： 串S存在，I≤pos≤StrLength(S) 且0slen≤StrLength(S)-pos+1。 操作结果： 用Sub返回串S的第pos个字符起 长度为len的子串
SubString (&Sub, S, pos, len) 初始条件： 操作结果： 用 Sub 返回串 S 的第 pos 个字符起 长度为 len 的子串。 串 S 存在，1≤pos≤StrLength(S) 且 0≤len≤StrLength(S)-pos+1
例如 SubString(sub,'commander',4,3) 求得sub='man雪 SubString(sub,'commander',1,9) 求得sub='commander
例如： SubString( sub, commander , 4, 3) 求得 sub = ; SubString( sub, commander , 1, 9) 求得 sub =