Cтраница 2
Понятно, что это не единственная возможность реализации абстрактного типа ВЕРШИНА. [16]
Первая строка кода в программе 4.4 ( интерфейс абстрактного типа данных стек) добавляет в этот класс шаблон C, позволяющий клиентским программам задавать тип объектов, которые могут заноситься в стек. [17]
Другой способ заключается в том, что алгебраическое описание абстрактного типа непосредственно задает множество значений данных, удовлетворяющих группе аксиом-равенств, и операции над элементами множества, определяя таким образом тип данных. Для этой цели используется метод символических вычислений. Рассмотрим это на примере stack. Пусть каждой операции / с областью значений stack соответствует символ /, a S - множество, состоящее из символов этих операций и целочисленных значений. [18]
Не будем подробно останавливаться на вопросах, связанных с абстрактными типами, так как это большое самостоятельное направление в вычислительной науке. [19]
В общем случае термин алгоритм поиска используется в значении реализация абстрактного типа данных таблицы символов, хотя, строго говоря, последний термин предполагает определение и построение основополагающей структуры данных таблицы символов и, в дополнение к поиску, реализацию операций абстрактного типа данных. В связи с важностью таблиц символов для столь многих компьютерных приложений они доступны в качестве высокоуровневой абстракций во многих средах программирования. [20]
При выборе частной конкретизации абстрактного типа диалога нужно учитывать взаимосвязи между абстрактным типом и конкретизацией. Для типов диалога 12 и 18 эти компоненты следуют правилам ( квази) естественного языка. [21]
Чтобы разработчики систем программирования могли руководствоваться недвусмысленными указаниями, что надо сопоставлять абстрактному типу для получения конкретного типа, необходимо сначала выработать четкое понимание содержания абстрактного типа данных. [22]
Получив эти определения, программист освободится от необходимости написания каких-либо функций по абстрактному типу tree, а трансформационная система должна будет синтезировать соответствующие функции на конкретных массивах. [23]
Из области языков программирования Галилео наследует такие понятия, как тип данных, абстрактный тип и модуляризация, а из области баз данных - семантическую модель данных, ограничение целостности и моделирование образов. [24]
Отличительные особенности СУБД третьего поколения: расширенный набор возможных типов данных ( это абстрактные типы, массивы, множества, записи, композиции разных типов, отображение величин со значениями разных типов), открытость ( доступность из разных языков программирования, возможность обращения к прикладным системам из СУБД), непроцедурность языка ( общепринятым становится язык запросов SQL), управление асинхронными параллельными процессами, состояние которых отражает база данных. [25]
Программисты, лишушие на C, регулярно используют как простые, rak и абстрактные типы даниык. Когда мы на низком уровне обрабатываем целые числа, нс-пользуя только опера аи и, имеющиеся в языке C, мы, по сушеству, исполыуем системно определяемую абстракаию лля целых чисел. Ка какой-нкбуль новой машине целые нсла могут быть представлены, а операции реализованы, каким-либо иным способом, но программа, которая использует только операции, определенные для целых чисел, будет работать корректно и на новой машине. В этом случае различные операции языка C для целых чисел соста & ллют интерфейс, наши программы являются юнентамн, а программное и аппаратное обеспечение системы обеспечивают реализацию, Часто эти типы данных достаточно абстрактны для того, чтобы мы, не изменяй свои программы, иоглн перейти на новую машину сот скажем, другими представлениями для целых чисел и чисел с плавающей точкой, Однако этот лрнмер илльострирует также тот факт, что такая идеальная ситуация случается не столь часта, как хотелось бы, поскольку клиентский программы могут собирать информацию о представлении ианнык, определяя предельные значения того или иного ресурса. [26]
Указанные операции реализуют достаточно общие механизмы порождения новых и, как правило, более абстрактных типов и требуют регламентированного продолжения исходных отношений INSTANCE-OF и IS-A. Кроме того, возникающие типы сами могут иметь представление в виде композиции других типов. Следовательно, описанный арсенал средств моделирования позволяет представлять достаточно сложные структуры предметных областей. [27]
Последнее, что обязан программист, - это подготовить отображения между конкретным типом и исходным абстрактным типом. [28]
Рассматривается метод многоуровневого структурного проектирования программ - МСПП, базирующийся на формализации структуры проектируемых программ в терминах параллельных регулярных схем над абстрактными типами памяти. Основное внимание уделено мотивации и содержательной трактовке полученных результатов в контексте исследований, проводимых по смежным направлениям. [29]
Такой же характер морфология сохраняла в течение многих веков; аристотелевский телеологический ( функциональный) принцип описания органов иногда сочетался с признанием платоновского принципа модели или абстрактного типа, который пытались отыскивать в многообразии формы и структуры. [30]