Cтраница 1
Абстрактный тип данных очереди гарантирует целостность своей внутренней структуры данных. Клиенты не могут непосредственно манипулировать этой структурой. Только сам абстрактный тип очереди имеет доступ к своим внутренним данным. Клиенты могут инициировать выполнение только допустимых операций над представлением данных: операции, не предусмотренные открытым интерфейсом абстрактного типа данных, отвергаются некоторым адекватным образом. Это может означать выдачу сообщения об ошибке, завершение выполнения программы или просто игнорирование запроса этой операции. [1]
Абстрактный тип setofnat расширяет теорию natbool до теории, скажем, setnatbool. Алгебры, соответствующие этой теории, могут строиться расширением алгебр теории natbool. Как указывалось выше, инициальной алгеброй данной теории по отношению к основе setofnat будет такая алгебра, в которой множества с повторяющимися элементами или с разным порядком их расположения считаются различными. [2]
Абстрактный тип могут иметь только полиморфные объекты. Отложенное связывание разрешено только для абстрактных типов. [3]
В абстрактном типе дам них назначение интерфейса состоит и том, чиЯЫ служить в качестве соглашения между профам мой - клиентом tf реализацией. О & ипьлекия функций обеспечивают ССЮТБСТСТРИС между ли зонами в клиентской программе и определениями функций Р реализации. Но с другой стороны, интерфейс не содержит никакой информации о TQMh как должны быть реализованы функции, или лот Гш как они должны функи копировать, Как мы можем объяснить к нентоозй iipoi LiMMe, что гакое стек. Для простых структурт полобник стеку, можно било бы открыть ьол, ио яснОр что & общем случае такой решение не может являться эффсктискьгч, Clinic PC с re программисты прибегают к списаниям н & энгпийским я - jhjkc и исшсщцю. [4]
При выборе частной конкретизации абстрактного типа диалога нужно учитывать взаимосвязи между абстрактным типом и конкретизацией. Для типов диалога 12 и 18 эти компоненты следуют правилам ( квази) естественного языка. [5]
К приведенному списку функций абстрактного типа ВЕРШИНА нужно добавить еще набор процедур для создания новых вершин и проведения дуг между вершинами, если в алгоритмах обработки деревьев нам нужно строить новые или перестраивать старые деревья. [6]
Как видно из спецификации, данный абстрактный тип расширяет теорию одноосновных алгебр bool до теории двухосновных алгебр, скажем, natbool. Естественно, лишь первый случай соответствует привычному нам множеству натуральных чисел. [7]
Здесь выполняется основное пожелание к абстрактному типу, проводимое во всех работах по данной тематике - это независимость от представления. [8]
Комбинирование этих компонентов приводит к абстрактным типам диалога. Однако некоторые из сочетаний противоречивы ( из-за того, что компоненты не вполне независимы друг от друга), а остальные описывают более или менее известные режимы диалога. [9]
Предполагается, что пользователь такой реализации абстрактного типа последовательность знает только это поле. В качестве базового типа здесь выбран тип WORD. [10]
Чтобы подчеркнуть, что наша спецификация абстрактного типа данных стек предоставляет достаточно информации для написания осмысленной клиентской программы, перед исследованием реализаций рассмотрим в разделе 4.3 две клиентские программы, использующие стеки магазинного типа. [11]
Тогда достаточно определить только функции манипулирования абстрактными типами, оставляя компилятору синтез соответствующих функций манипулирования конкретными типами. В этом случае вообще нет необходимости представлять явно абстрактные типы во время выполнения, при этом программисту остаются достоинства программирования на прикладном уровне. Таким образом, под преобразованием типов данных мы на самом деле понимаем синтез конкретных функций, определенных на конкретных типах, соответствующих абстрактным функциям, определенным на абстрактных типах. [12]
Суффикс - гу образует существительные большей частью абстрактного типа: chemistry химия, geometry геометрия и тд. [13]
Используя различные значения компонентов, можно конкретизировать каждый абстрактный тип диалога различными способами, задавая различные конкретные типы диалога. Нельзя перечислить все допустимые конкретные типы диалога, поскольку невозможно даже занумеровать значения компонентов. [14]
Особую группу среди отвлеченно мыслящих представляют собою мыслители абстрактного типа, те, которые умеют оперировать не только с конкретными жизненными фактами, но и с символами арифметики, алгебры и геометрии, с отвлеченными определениями частей речи, синтаксических правил и общих научных законов. Лица такого типа наслаждаются самым процессом умственной гимнастики, игрой мысли, независимо от содержания самой мысли или практических ее последствий. Они являются обыкновенно гордостью учителей, и на долю их выпадают все школьные награды. Ибо, подобно тому, как мыслителю-теоретику школа и учителя отдают предпочтение перед мыс-лителем практиком, так большею частью абстрактного мыслителя они ставят выше теоретика. Правда, что способность мыслить отвлеченно встречается реже и, может быть, более ценна, чем способность конкретного мышления, но мир нуждается в обеих, и учителя обязаны заботиться о развитии той и другой. Практические выводы, фактический материал, наблюдения над природой и человеческой жизнью и интересы к конкретным реальностям мира так же важны в работе учителя, как отвлеченные принципы языка, математики и других наук. [15]