Abstrakcyjny typ danych
Abstrakcyjny typ danych (ang. abstract data type, ADT) to sposób tworzenia oraz opisywania typów danych w sposób formalny, w którym koncentrujemy się na właściwościach danych oraz operacjach wykonywanych na tych danych, a nie na ich reprezentacji czy implementacji.
Wymagania dotyczące specyfikacji ADT
Specyfikacja ADT powinna spełniać następujące kryteria:
- być jednoznaczna i precyzyjna;
- zawierać wszystkie istotne przypadki do rozważenia;
- nie zawierać zbędnych informacji.
Elementy specyfikacji ADT
Podczas definiowania specyfikacji dla ADT (dowolnego typu), należy uwzględnić:
- nazwę typu;
- dziedzinę;
- zbiór funkcji;
- aksjomaty;
- warunki początkowe.
Przykłady ADT
- Lista
- Zbiór
- Stos
- Kolejka
- Tablica asocjacyjna