Un tip de date abstract definește un set de valori și operațiile permise pe ele, descrise pur prin comportament — nu prin cod. Implementarea este structura concretă (array, linked list, tree) care realizează acel comportament.
Același ADT, implementări diferite
text
ADT "Queue": enqueue, dequeue, peek (FIFO contract)
Implementation A: array + two indices (ring buffer)
Implementation B: doubly linked list with head/tail pointers
Both honor the SAME contract; cost profiles differ.
De ce să le separați
python
:
(): ...
(): ...
(): ...
