Abstrakcyjny typ danych () – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji).
Specyfikacja ADT powinna: być jednoznaczna i dokładna; zawierać wszystkie przypadki warte rozważenia; nie zawierać niepotrzebnych informacji.
Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić: nazwę tego typu; dziedzinę; zbiór funkcji; aksjomaty; warunki początkowe.
Przykłady Lista Zbiór Stos Kolejka Tablica asocjacyjna
Kategoria:Struktury danych