Q串的抽象类型定义 D=ail ae CharacterSet, 1=1, 2,.n g R={a12a1>|a12a1∈D,i=2,n} trAssign(&T, chars)∥/串赋值, chars为一字符串常量 StrCopy(&T,S)∥串拷贝 teMpts(S)∥是否空串 StrCompare(S,T)/串比较,分ST情形、S-T情形和S<情形 StrEngth(S)∥取串长 ClearString(&S)∥将串清空 Concat(&T,S1,S2)∥两串联接 SubString(&Sub,S,pos,len)∥从串S中取出从pos个位置起长为len的子 Index(S,T,pos)/若串S中存在和T相同的字串,返回起始位置 Replace(&S,T,V)∥/串替换,用Ⅴ替换S中出现的所有字串T Strlnsert(&s,pos,T)∥/在串S的第pos个字符前插入串T StrDelete(&S,pos3len)∥从串S中删除第pos个字符起长度为en的子串 DestroyString(&S)∥销毁串S JADT String串的抽象类型定义 ADT String { D = {ai | ai CharacterSet, i = 1,2,…n } R = {<ai-1 , ai> | ai-1 , ai D, i = 2,…n} P: StrAssign(&T, chars) //串赋值, chars为一字符串常量 StrCopy(&T, S) //串拷贝 StrEmpty(S) //是否空串 StrCompare(S, T) //串比较，分S>T情形、S=T情形和S<T情形 StrLength(S) //取串长 ClearString(&S) //将串清空 Concat(&T, S1, S2) //两串联接 SubString(&Sub, S, pos, len) //从串S中取出从pos个位置起长为len的子串 Index(S, T, pos) //若串S中存在和T相同的字串，返回起始位置 Replace(&S, T, V) //串替换，用V替换S中出现的所有字串T StrInsert(&S, pos, T) //在串S的第pos个字符前插入串T StrDelete(&S, pos, len) //从串S中删除第pos个字符起长度为len的子串 DestroyString(&S) //销毁串S }ADT String  