ADT[數學模型及該模型上的一組操作]

抽象數據類型（ADT）是一個實現包括儲存數據元素的存儲結構以及實現基本操作的算法。在這個數據抽象思想中，數據類型的定義和它的實現是分開的，這在軟體設計中是一個重要的概念。這使得只研究和使用它的結構而不用考慮它的實現細節成為可能。

組成形式

ADT包括數據數據元素，數據關係以及相關的操作。

即ADT

{

數據對象：（數據元素集合）

數據關係：（數據關係二元組結合）

基本操作：（操作函式的羅列）

}

運用

在面向對象程式語言中，像C++、Java都能較好的支持ADT，如類的機制。而在C語言中缺少了對相關方法的支持。

在C語言中，有些數據結構類型是C語言程式設計師不可或缺的工具，這是由於它們的屬性決定的。這類ADT有鍊表，堆疊，佇列和樹等，它們在實現上極具靈活性。

抽象數據類型需要通過固有數據類型(高級程式語言中已實現的數據類型)來實現。抽象數據類型是與表示無關的數據類型，是一個數據模型及定義在該模型上的一組運算。對一個抽象數據類型進行定義時，必須給出它的名字及各運算的運算符名，即函式名，並且規定這些函式的參數性質。一旦定義了一個抽象數據類型及具體實現，程式設計中就可以像使用基本數據類型那樣，十分方便地使用抽象數據類型。