Concat(&T, S1, $2 初始条件:串S1和S2存在。 操作结果:用T返回由S和S2 联接而成的新串。 例如: Concat(T,man’,"kind) 求得T=′ mankind
Concat (&T, S1, S2) 初始条件：串 S1 和 S2 存在。 操作结果：用 T 返回由 S1 和 S2 联接而成的新串。 例如： Concate( T, man , kind) 求得 T = mankind
SubString(&sub, S, pos, len) 初始条件 串S存在,1 <possStrLength(S) 且0en≤ StrEngth(S)-p0s+1。 操作结果 用Sub返回串S的第pos个字符起 长度为len的子串
SubString (&Sub, S, pos, len) 初始条件： 串 S 存在，1≤pos≤StrLength(S) 且0≤len≤StrLength(S)-pos+1。 操作结果： 用 Sub 返回串 S 的第 pos 个字符起 长度为 len 的子串
子串为“串”中的一个字符子序列 例如: SubString( sub, commander, 4, 3) 求得sub=man'; Sub String( sub, 'commander,, 1, 9) 求得sub=′ commander; SubString( sub, 'commander,,9, 1) 求得sub=r
例如： SubString( sub, commander, 4, 3) 求得 sub = man ； SubString( sub, commander, 1, 9) 求得 sub = commander ； SubString( sub, commander, 9, 1) 求得 sub = r ； 子串为“串” 中的一个字符子序列
Sub String(sub, commander, 4, 7) sub=? SubString(sub, beijing, 7, 2)=? sub=? 起始位置和子串长度之间存在约束关系 SubString('student, 5, 0) 长度为0的子串为“合法”串
SubString(sub, commander, 4, 7) sub = ? SubString(sub, beijing, 7, 2) = ? sub = ? SubString(student, 5, 0) = 起始位置和子串长度之间存在约束关系 长度为 0 的子串为“合法”串
Index (S, T, pos) 初始条件:串S和T存在,T是非空串, 1≤ possStrLength(S) 操作结果:若主串S中存在和串T值相同 的子串,则返回它在主串S中第pos个 字符之后第一次出现的位置; 否则函数值为0
Index (S, T, pos) 初始条件：串S和T存在，T是非空串， 1≤pos≤StrLength(S) 。 操作结果： 若主串 S 中存在和串 T 值相同 的子串, 则返回它在主串 S 中第pos个 字 符 之 后 第 一 次 出 现 的 位 置 ； 否则函数值为0