1.3抽象数据类型的表示与实现 例:给出自然数( Natural Number)的抽象数据类型定义。 ADT Natura/Numbert 数据对象:一个整数的有序子集合启开始于0结束于机器能表示的最大整数 数据关系: 数据操作: ISZero(x): Boolean f(x==0)返回ve elJe返回 False Add (x, v NaturalNumber f(x+y= MaxInt返回x+y elJe返回 MaxInt Subtract(x,y): NaturalNumber if(x<y)返回0 else返回x-y Equal(, v: Boolean f(x=y)返回T ele返回Fale NAtura/Number 数据结构 ③◎@20 例：给出自然数（Natural Number）的抽象数据类型定义。 IsZero(x) : Boolean if (x==0) 返回True else 返回False Add (x, y) : NaturalNumber if (x+y<=MaxInt)返回x+y else 返回MaxInt Subtract (x, y) : NaturalNumber if (x < y) 返回 0 else 返回 x - y Equal (x, y) : Boolean if (x==y) 返回True else 返回 False ADT NaturalNumber { }NaturalNumber 数据对象: 数据关系: 数据操作: 一个整数的有序子集合,它开始于0, 结束于机器能表示的最大整数。 1.3 抽象数据类型的表示与实现