Abstrakcyjny typ danych

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Abstrakcyjny typ danych (ang. Abstract data type - ADT) jest to 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ć: