Абстрактные типы данных

«Математика» САОД Программирование

Абстрактный тип данных – это математическая модель с совокупностью операторов или операций определенных в рамках данной модели. Абстрактным типам данных соответствует понятие класса в объектно-ориентированном программирование. К АТД применимы понятия инкапсуляции, абстрагирования (обобщение), наследования:

1. Абстракция или обобщение в том смысле, что АТД можно рассматривать как обобщение типа данных.

2. Наследование применимо в том смысле, что одни абстрактные типы данных могут быть реализованы новые АТД, реализация которых уже осуществлена в базовых АТД.

3. Инкапсуляция АТД инкапсулирует типы данных в том смысле, что методы и свойства располагаются вместе (объединены понятием) для выполнения операция (определенных в рамках модели) достаточно знать лишь имя (так как реализация оператора скрыта), не вдаваясь в реализацию содержание скрыто или она тривиальна и не представляет трудностей для последующего перевода в программный код.

Таким образом, при помощи операций АТД, реализованных в функциональные назначения математической модели.