4.1.2 串的抽象数据类型定义
ADT String{ 数据对象:D = { ai|ai∈CharacterSet, i=1,2,…,n, n
≥0 } 数据关系:R = {<ai-1, ai>| ai-1, ai∈D, i=2,3,…,n } 基本操作:
StrAssign(t , chars) 初始条件: chars是一个字符串常量。 操作结
果:生成一个值为chars的串t 。 StrConcat(s, t) 初始条件:串s, t 已存
在。
操作结果:将串t联结到串s后形成新串存放到s中。 StrLength(t)
初始条件:字符串t已存在。 操作结果:返回串t中的元素个数,称为
串长。 SubString (s, pos, len, sub) 初始条件:串s, 已存在,
1≦pos≦StrLength(s)且 0≦len≦StrLength(s) –pos+1。 操作结果:用
sub返回串s的第pos个字符起长度为len的子串。 …… } ADT String