Abstraktus duomenų tipas

Šiam straipsniui ar jo daliai trūksta išnašų į patikimus šaltinius. Jūs galite padėti Vikipedijai pridėdami tinkamas išnašas su šaltiniais.

Abstraktus duomenų tipas (ADT) – tai abstrakti, matematiškai apibrėžta klasė, kuri įgyvendina aibę objektų su sekančiomis savybėmis:

• ADT turi griežtą sąsajos aprašą;
• Turi aksiomas ar metodus, kurie leidžia keisti vidinę ADT būseną;

ADT leidžia lengviau suskaldyti programos kodą į mažesnes nepriklausomas programos dalis, nekeičiant programos korektiškumo. ADT taip pat gali būti traktuojamas kaip specifikacija algoritmo problemos sprendimui. ADT apgaubia ir apjungia savyje duomenis ir algoritmus, pakeliant abstrakcijos lygį.