数据结构(C语言版)计算机教学PPT,教材作者：Ellis Horowitz Sartaj Sahni Susan Anderson-Freed,机械工业出版社风格不同于清华大学严蔚敏教材,作者论证严密,算法独特,注重引导创新思维!
例1-5【ADT Natural_Number】 Natural_Number】Structure Natural_Number object:整数中有序子列，从0开始 整数中有序子列，到计算机中最大数 Nat_no Zero(x) ::=0
Boolean Is_Zero(x) ::=if(x) return False Nat_no Add(x,y) ::=if((x+y)<=Int_Max return x+y
else return INT_MAX Boolean Equal(x,y) ) ::=if((x==y) return Ture else return INT_MAX Nat_No Successor(x)::=if(x==INT_MAX)return x else return x+1; Nat_no Subtract(x,y)::=if((x<y) return 0 else return x-y xEnd Natural_Number2012-2-19 17