—put(&t,i,e)—初始条件：三元组t已经存在，1<=i<=3.—作结果：用e值取
put(&t,i,e) chu shi tiao jian san yuan zu t yi jing cun zai 1<=i<=3. zuo jie guo yong e zhi qu
)—初始条件：三元组t已经存在，1<=i<=3.—作结果：用e返回三元组t的第i个元素。
) chu shi tiao jian san yuan zu t yi jing cun zai 1<=i<=3. zuo jie guo yong e fan hui san yuan zu t de di i ge yuan su
ytriplet(&t)—初始条件：三元组t已经存在。—作结果：销毁三元组t。—get(t,i,&e
ytriplet(&t) chu shi tiao jian san yuan zu t yi jing cun zai zuo jie guo xiao hui san yuan zu t get(t,i,&e
条件：—作结果：构造三元组t，元素e1，e2和e3分别被赋予参数v1,v2,v3的值。—destro
tiao jian zuo jie guo gou zao san yuan zu t yuan su e1 e2 he e3 fen bie bei fu yu can shu v1,v2,v3 de zhi destro
; | <e2，e3>}基本作：—inittriplet(&t,v1,v2,v3)—初始
; | <e2 e3>} ji ben zuo inittriplet(&t,v1,v2,v3) chu shi
e2,e3属于elemset(定义了关系的某个集合)}数据关系：r1 = {<e1，e2>
e2,e3 shu yu elemset( ding yi le guan xi de mou ge ji he )} shu ju guan xi r1 = {<e1 e2>
：抽象数据类型的三元组的定义adt triplet{数据对象：d = {e1,e2,e3 | e1,
chou xiang shu ju lei xing de san yuan zu de ding yi adt triplet{ shu ju dui xiang d = {e1,e2,e3 | e1,
义格式：基本作名（参数表）初始条件：<初始条件描述>作结果：&l白洁传t;作结果描述>四
yi ge shi ji ben zuo ming can shu biao chu shi tiao jian < chu shi tiao jian miao shu > zuo jie guo &l bai jie chuan t; zuo jie guo miao shu > si
<数据关系的定义>资本作：<基本作的定义>}adt抽象的数据类型名基本作的定
< shu ju guan xi de ding yi > zi ben zuo < ji ben zuo de ding yi >}adt chou xiang de shu ju lei xing ming ji ben zuo de ding
作集抽象数据类型的定义格式白洁传：adt抽象数据类型名{数据对象：<数据对象的定义>数据关系：
zuo ji chou xiang shu ju lei xing de ding yi ge shi bai jie chuan adt chou xiang shu ju lei xing ming { shu ju dui xiang < shu ju dui xiang de ding yi > shu ju guan xi
算机中的表示和实现无关。adt可用三元组表示：（d,s,p）d：数据对象s：d上的关系p：对d的基本
suan ji zhong de biao shi he shi xian wu guan adt ke yong san yuan zu biao shi d,s,p d shu ju dui xiang s d shang de guan xi p dui d de ji ben
，比如将一张图片作为一个数据类型。抽象数据类型（adt）数学模型以及定义在该模型上的一组作。与其在计
bi ru jiang yi zhang tu pian zuo wei yi ge shu ju lei xing chou xiang shu ju lei xing adt shu xue mo xing yi ji ding yi zai gai mo xing shang de yi zu zuo yu qi zai ji
上的一组作。自定义抽象的数据类型的好白洁传处是我们可以使用基本的数据类型进行扩大进而是软件的功能不断的加大
shang de yi zu zuo zi ding yi chou xiang de shu ju lei xing de hao bai jie chuan chu shi wo men ke yi shi yong ji ben de shu ju lei xing jin hang kuo da jin er shi ruan jian de gong neng bu duan de jia da
。三：数据类型与抽象的数据类型数据类型（data type）：数据类型就是值的集合以及定义在这个集合
san shu ju lei xing yu chou xiang de shu ju lei xing shu ju lei xing data type shu ju lei xing jiu shi zhi de ji he yi ji ding yi zai zhe ge ji he
构是具体的，实实再在可白洁传以看到的关系。算法的设计取决于选定的逻辑结构。发酸发的实现依赖于采用的存储结构
gou shi ju ti de shi shi zai zai ke bai jie chuan yi kan dao de guan xi suan fa de she ji qu jue yu xuan ding de luo ji jie gou fa suan fa de shi xian yi lai yu cai yong de cun chu jie gou
存储结构逻辑主要体现在概念上，物理体现在具体的实现上，逻辑结构主要体现数据元素之间的逻辑关系。物理结
cun chu jie gou luo ji zhu yao ti xian zai gai nian shang wu li ti xian zai ju ti de shi xian shang luo ji jie gou zhu yao ti xian shu ju yuan su zhi jian de luo ji guan xi wu li jie
虚部}二:逻辑结构和白洁传物理结构逻辑结构：数据元素之间的逻辑关系物理结构：数据结构在计算机中的表示，又称
xu bu } er : luo ji jie gou he bai jie chuan wu li jie gou luo ji jie gou shu ju yuan su zhi jian de luo ji guan xi wu li jie gou shu ju jie gou zai ji suan ji zhong de biao shi you cheng
c1,c2是实数}r ={p|p是定义在c上的关系，<c1，c2>表示c1是实部，c2是
c1,c2 shi shi shu }r ={p|p shi ding yi zai c shang de guan xi <c1 c2> biao shi c1 shi shi bu c2 shi
有限集合s：定义在d上的白洁传关系的有限集合例如：complex = (c,r)c = {(c1,c2)|
you xian ji he s ding yi zai d shang de bai jie chuan guan xi de you xian ji he li ru complex = (c,r)c = {(c1,c2)|
一：数据结构的数据定义数据结构是一个二元组dara_structure = (d,s)d：数据元素的
yi shu ju jie gou de shu ju ding yi shu ju jie gou shi yi ge er yuan zu dara_structure = (d,s)d shu ju yuan su de