Cтраница 2
Определение 4.1 Абстрактный тип данных ( АТД) - это тип данных ( набор значений и совокупность операций для этих значений), доступ к которому осуществляется только через интерфейс. Программу, которая использует А ТД, будем называть клиентом, а программу, в которой содержится спецификация этого типа данных - реализацией. [16]
Средства спецификации абстрактных типов данных и классов, а также объектное исчисление составляют основу языка. Использование в языке фреймов как самоопределяемых значений наряду со строго типизированными значениями позволяет сочетать представление слабоструктурированных данных и объектов в одной модели. [17]
Используются идеи абстрактных типов данных. Приводятся примеры процедур, реализующих некоторые свойства кластеров. [18]
В данном описании абстрактный тип данных stack определяется наличием пяти операций create, push, pop, empty, top, семантика которых описывается явно путем задания соответствующих процедур. [19]
Более того, абстрактные типы данных, в отличие от простых типов данных, обеспечивают гибкость, необходимую для удобного измене-ння или улучшений в системе фундаментальным структур данных и алгоритмов. [20]
Строго говоря, абстрактный тип данных представляет собой тройку ( D, F, А), состоящую из множеств: областей D, функций F, каждая из которых существует и изменяется в D, к аксиом А, которые задают свойства функции в F. Путем выделения одной из областей d в D можно точно охарактеризовать структуру данных ( D. В качестве примера можно привести абстрактный тип данных, образованный натуральными числами. [21]
Более того, абстрактные типы данных, в отличие от простых типов данных, обеспечивают гибкость, необходимую для удобного изменения или улучшения в системе фундаментальных структур данных и алгоритмов. Самое главное, что интерфейс АТД определяет соглашение между пользователями и разработчиками, который обеспечивает точные правила взаимодействия, причем каждый знает, что можно ожидать от другого. [22]
В настоящей главе абстрактные типы данных рассматриваются подробно потому, что они играют важную роль в изучении структур данных и алгоритмов. Действительно, важной движущей силой разработки почти всех алгоритмов, рассматриваемых в этой книге, является стремление обеспечить эффективные реализации базовых операций для некоторых фундаментальных АТД, играющих исключительно важную роль при решении многих вычислительных задач. Проектирование абстрактного типа данных - это только первый шаг навстречу потребностям прикладных программ; необходимо также разработать живучие реализации связанных с ними операций, а также структур данных, лежащих в основе этих операций. Эти задачи и являются темой настоящей книги. Более того, абстрактные модели используются непосредственно для разработки алгоритмов и структур данных, а также для сравнения их характеристик производительности, как это было в примере из главы 1: как правило, разрабатывается прикладная программа, использующая АТД, для решения некоторой задачи, затем разрабатываются несколько реализаций АТД и сравнивается их эффективность. В настоящей главе этот общий процесс рассматривается подробно, со множеством примеров. [23]
Например, списки образуют абстрактный тип данных. [24]
В системах, поддерживающих абстрактные типы данных, предусмотрена единообразная форма инкапсуляции структур, ограничений и определений операций. [25]
После того как определены абстрактные типы данных, становится возможным генерировать новые типы и организовывать их в разного рода иерархии ( см. [93] и гл. [26]
Очередь является замечательным примером абстрактного типа данных. Очередь предоставляет своим клиентам хорошо понятную схему поведения. Клиенты по одному помещают объекты в очередь - используя для этого операцию постановки в очередь - и по одному получают эти объекты обратно по мере необходимости, используя для этого операцию исключения из очереди. Чисто умозрительно очередь может стать бесконечно длинной. Реальная очередь, разумеется, имеет конечную длину. [27]
В этом методе для определения абстрактного типа данных ( D, F) используется логика предикатов. Благодаря универсальности логики предикатов такой метод абстрагирования является достаточно мощным, и, кроме того, он обладает минимальностью описания. [28]
Ценность статьи Р. А. Маркевичюса Реализационные свойства абстрактных типов данных состоит в том, что в ней показывается, как со сравнительно небольшими трудовыми затратами можно создать расширяемую систему программирования с абстрактными типами данных. [29]
Рассматривается процессор, обеспечивающий поддержку абстрактных типов данных. Процессор реализован в виде системы взаимосвязанных макросов ассемблера ЕС ЭВМ. [30]