[[분류:자료구조]]

[목차]
[clearfix]
== 개요 ==
[[http://en.wikipedia.org/wiki/Abstract_data_type|위키백과의 설명(영문)]]

{{{+2 Abstract Data Type, ADT.}}}

자료 자체의 형태와 그 자료에 관계된 연산들을 '''수학적으로'''만 정의한 것. 따라서 [[대수학]]이 다루는 대수적 구조로 볼 수도 있으며, [[자료구조]]가 포함하는 구현 세부사항은 전혀 정의하지 않는다. 

[[스택(자료구조)|스택]]을 예로 들면, 스택의 형태는 삽입한 순서대로 쌓이는 값들의 모임이고, 스택의 제일 위에 값을 넣는 {{{push}}}연산과 스택 제일 위의 값을 하나 빼서 알려주는 {{{pop}}}연산이 있다고 할 수 있다. 여기에 필요하다면 스택이 비었는지 알아보는 {{{empty}}}연산, 스택에 쌓인 값이 몇 개인지 알아보는 {{{size}}}연산을 정의할 수도 있다.

이 때, 스택이 내부적으로 [[배열]]로 구현되는지 [[연결 리스트]]로 구현되는지, {{{size}}}연산을 수행할 때 원소의 개수를 일일이 세는지 아니면 개수를 따로 저장해두는지와 같은 세부사항들은 추상적 자료형에서는 다루지 않으며, 그걸 다루기 시작하면 [[자료구조]]의 영역으로 넘어가게 된다. 다만, 경우에 따라 [[알고리즘]]에서 요구하는 계산 복잡도, 즉 {{{push}}}연산이 [[Big-O|O(1)인지 O(n)인지]]와 같은 부분을 추가로 다룰 수도 있다.

[[객체 지향 프로그래밍]]에서의 [[클래스]]의 개념과 일맥상통한다고 볼 수도 있다.

== 추상적 자료형의 예 ==
 * [[집합]]
 * [[리스트(자료구조)|리스트]]
 * [[스택(자료구조)|스택]]
 * [[큐(자료구조)|큐]]
 * [[트리(그래프)|트리]]
 * [[그래프(이산수학)|그래프]]
 * 연관 배열