线性表（List）
定义：由零个或多个数据元素组成的有限序列。
关键词
①序列：它是一个序列，元素之间是有先后顺序的
②若元素存在多个：第一个元素无前驱，而后一个元素无后继，其它元素只有一个前驱和后继
③有限的
数学语言定义如下
若将线性表记为（a1，...，ai-1，ai，ai+1，...，an），则表中ai-1领先于ai，ai领先于ai+1，称ai-1是ai的直接前驱元素，ai+1是ai的直接后继元素
线性变元素的个数N（n>=0）定义为线性表的长度，当n=0是，称为空表。
抽象数据类型
数据类型的定义：是指一组性质相同的值得集合及定义在此集合上的一些操作的总称（如整型，浮点型等）
C语言中数据类型可以分为两类
原子类型：不可以再分解的基本类型，如整型、浮点型、字符型等。
结构类型：由若干个类型组合而成，是可以再分解的，如整型数组
抽象：是指抽取出事务具有的普遍性的本质。它要求抽出问题的特征而忽略非本质的细节，是对事物的一个概括。抽象是一种思考问题的方式，它隐藏了繁杂的细节。
我们对已有数据类型进行抽象，就有了抽象数据类型
抽象数据类型（ADT）是指一个数学模型及定义在该模型上一组操作
意义：在于数据类型的数学抽象特性
抽象数据类型的标准格式（伪代码）：
ADT 抽象数据类型
Data
数据元素之间逻辑关系的定义
Operation
操作
endADT
线性表的抽象数据类型定义：
ADT线性表（List）
Data：
线性表的数据对象集合为{a1,a2,...,an},每个元素的类型均为DataType。其中，除第一个a1外，以外的每一个元素有且只有一个直接前驱元素，除了最后一个元素an外，每一个元素有且只有一个后继元素，数据元素之间是一对一的关系
Operation：以下几种操作
InitList(*L):初始化操作，建立一个空的线性表L
ListEmpty(L):判断线性表是否为空表，若线性表为空，返回true，否则返回false
ClearList(*L):将线性表清空
GetElem(L,i,*e)：将线性表L中的第i个位置元素值返回给e
LocateElem(L,e):在线性表L中查找与给定值e相等的元素，如果查找成功，返回改元素在表中序号表示成功；否则，返回0表示失败。
ListInsert(*L,i,e):在线性表L中第i个位置插入新元素e
ListDelete(*L,i,e):删除线性表L中第i个位置元素，并用e返回其值
ListLength(L):返回线性表L的元素个数
endADT
例如：实现A=A∪B
我们需要用的基本操作组合
ListLength(L)--返回元素个数
GetElem(L,i,*e)--将线性表L中的第i个位置元素值返回给e
LocataElem(L,e)--在线性表L中查找与给定值e相等的元素，如果查找成功，返回改元素在表中序号表示成功；否则，返回0表示失败。
ListInsert(*L,i,e)--在线性表L中第i个位置插入新元素e
实例代码：
