Абстрактный тип
Cтраница 3
Предикатное имя Элем не следует путать с предикатным именем Конкр из § 3.1.5. Принадлежность к типу - не то, что к множеству: Элем ( Посылка-8, посылки) принадлежность к множеству почтовых посылок, тогда как Конкр ( Посылка-8, посылка) - к абстрактному типу почтовая посылка. [31]
В предыдущем примере диапазоны значений абстрактной функции sum и ее конкретной версии concsum совпадали, а именно представляли собой множество чисел, и, формулируя иначе результат, мы могли бы убедиться, что отображение аб стракции между типами диапазонов значений есть функция тождества В следующей главе мы увидим, что подобный вид преобразования можно рассматривать как треугольный, вершинам треугольника соответствуют абстрактный тип области определения, конкретный тип области определения и общий тип диапазона значений функции. В этом примере мы рассматриваем полный квадрат, хотя типы области определения и диапазона значений абстрактной функции ( а следовательно, также связанной с ней конкретной функции) совпадают. Однако полностью общий пример, включающий различные абстрактные типы области определения и диапазона значений, которые отличаются также от их конкретных партнеров, был бы гораздо утомительнее, но не дал бы более глубокого проникновения в проблему. [32]
В связи с необходимостью разрабатывать структуру алгоритма и данных одновременно возникает понятие так называемого абстрактного типа данных. Абстрактный тип в отличие от конкретного типа данных, привязанного к конкретным языковым конструкциям, фиксирует лишь название типа и ( внеязыковое или даже неформальное) описание того набора операций, с помощью которых разрешается обрабатывать значения этого типа. На начальном этапе разработки алгоритма нет нужды сразу фиксировать конкретные типы данных на языке программирования, будь то паскаль или фортран; начальная спецификация алгоритма использует лишь операции некоторого абстрактного типа данных. [33]
В первом разделе разберем абстрактные типы диалога, комбинируя компоненты уровня I ( базовая структура), объясним их и приведем примеры для иллюстрации. [34]
 |
Пример дерева двоичного поиска для множества ч. сгл и его внутреннее представление как сцепление типа ЗАПИСЬ. [35] |
Например, для некоторых алгоритмов обработки деревьев не нужно переходить от вершины дерева к ее отцу. Это означает, что соответствующий абстрактный тип не будет содержать функции ОТЕЦ. [36]
Абстрактный тип могут иметь только полиморфные объекты. Отложенное связывание разрешено только для абстрактных типов. [37]
Он поставил цель построить алгебраическую семантику абстрактного типа, максимально приближенную к программистскому понятию типа данных как отдельного объекта и согласующуюся с идеей иерархического построения системы типов данных. Принципиальной особенностью предложенной трактовки является учет только минимально необходимой информации о примитивных типах. К ней относятся все те основы расширяемой алгебры, имена которых встречаются в области определения и области значений конструируемых операций, и те ее операции, которые используются в аксиомах спецификации нового типа. Благодаря этому модель типа данных может быть представлена таким редуктом совокупной алгебры системы типов данных, который необходим для поддержки операций конструируемого типа. [38]
Тогда достаточно определить только функции манипулирования абстрактными типами, оставляя компилятору синтез соответствующих функций манипулирования конкретными типами. В этом случае вообще нет необходимости представлять явно абстрактные типы во время выполнения, при этом программисту остаются достоинства программирования на прикладном уровне. Таким образом, под преобразованием типов данных мы на самом деле понимаем синтез конкретных функций, определенных на конкретных типах, соответствующих абстрактным функциям, определенным на абстрактных типах. [39]
Излагаются теоретические основы построения структур и методы проектирования баз данных, получившие широкое распространение в Японии, что представляет значительный интерес в свете создания микрокомпьютеров пятого поколения. Рассматриваются, аспекты построения структур баз данных абстрактного типа. Большая часть книги посвящена современным способам проектирования баз данных по концепции сущность - свойство - отношение. Все конкретные примеры даются на языке Паскаль. Выдвигается концепция независимости базы данных от вида примера. [40]
Идея параллельного объектно-ориентированного программирования призвана обеспечить разработку хорошо структурированных приложений за счет применения подходящих абстракций и методов. Как и в традиционной объектной модели, объекты представляют собой абстрактные типы ( пассивные контейнеры) данных, состояние которых определяется интерфейсом. Если эту модель обогатить набором разделяемых объектов, то она будет хорошо соответствовать концепции программирования над общей памятью. [41]
Абстрактный тип данных будет по настоящему независим от представления, если конкретные его реализации будут изоморфны друг другу. Это приводит к естественному желанию рассматривать в качестве моделей абстрактного типа классы изоморфных алгебр. Такими классами могут быть, например, инициальные и терминальные алгебры. [42]
Однако в идеальном случае программисту следовало бы только определить функции на своих абстрактных типах, оставляя ( конкретные) определения соответствующих реализационных типов ( например, векторов или деревьев) компилятору. Синтез таких конкретных определений может также осуществляться методами преобразований. [43]
Согласно Анастази, конструктная валидность теста - это степень измерения тестом теоретического конструкта или какой-то черты. Такой конструкт, как интеллект, предполагает более, широкий, более подробный и более абстрактный тип описания поведения, чем ранее рассмотренные виды валидности, и поэтому он требует постепенного накопления информации из разных источников. Любые данные, проливающие свет на исследуемую черту и - на условия, оказывающие влияние на ее развитие и проявления, важны для этого типа, валидности. [44]
Например, если вместо стека задействовать очередь, то получится поиск в ширину, который аналогичен обходу дерева по уровням. Программа 5.22 - реализация этого метода ( при условии, что используется реализация с применением очереди, подобная программе 4.12); пример этого алгоритма в действии показан на рис. 5.35. В части 6 будет исследоваться множество алгоритмов обработки графов, основанных на более сложных обобщенных абстрактных типах данных очереди. [45]
Страницы: 1 2 3 4