Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/alt/02030145.html
Дата изменения: Mon Sep 24 15:06:32 2007 Дата индексирования: Tue Oct 2 01:32:16 2012 Кодировка: IBM-866 Поисковые слова: aldebaran |
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой, составным термом или экземпляром класса. В Акторном Прологе область действия операции связывания переменной всегда ограничена множеством вхождений, принадлежащих некоторым конкретным акторам.
Сегмент строки (string segment) - лексема, обозначающая цепочку графических и управляющих символов.
Символ (symbol) - разновидность лексемы - имя, начинающееся с маленькой буквы или заключенное в апострофы.
Системный каталог (system directory) - каталог в файловой системе компьютера, в котором по умолчанию хранятся пакеты. Системный каталог определяется реализацией языка.
Слот (slot) - составная часть экземпляра класса, характеризуемая именем и значением. Именем слота является некоторый атрибут, значением слота - терм.
Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса. Согласование акторов включает сопоставление локальных значений общих переменных акторов, а также повторное доказательство акторов, нейтрализованных в ходе проведенного сопоставления локальных значений.
Согласование процессов (coordination of processes) - действия, осуществляемые для обеспечения согласованности процессов. Согласование процессов происходит посредством обмена асинхронными сообщениями.
Согласованность акторов (consistency of actors) - Акторы процесса считаются согласованными между собой, если: 1) Все акторы, принадлежащие процессу, хотя бы один раз были доказаны. 2) Существуют производные значения общих переменных этого процесса.
Согласованность процессов (consistency of processes) - Считается, что некоторые процессы "согласованы" между собой, если: 1) Все они находятся в состояниях "доказан" и "неиспользуемый". 2) Не требуется обработка потоковых и прямых сообщений процессами, находящимися в состоянии "доказан". 3) Не требуется обработка потоковых сообщений процессами, находящимися в состоянии "неиспользуемый". 4) Производные значения общих переменных всех процессов могут быть унифицированы.
Согласованный порт (consistent port) - одно из двух возможных состояний порта - порт может перейти в это состояние в ходе отправления или обработки потокового сообщения.
Создатель процесса (creator of process) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор рассматриваемого процесса.
Создатель резидента (creator of resident) - процесс, одному из слотов миров которого соответствовал инициализатор - конструктор резидента. Создатель резидента является его "владельцем".
Сообщение (message) - некоторое количество информации, передаваемое между процессами, представляющее для них единое целое. Различаются прямые и потоковые, а также переключающие и информационные сообщения. В языке используются потоковые переключающие, а также прямые информационные и прямые переключающие сообщения.
Соответствие переменной актору (correspondence between variable and some actor) - то же, что "использование переменной актором".
Сопоставление локальных значений (comparison of local values) - первый этап согласования акторов процесса. В общем случае, в ходе сопоставления локальных значений общих переменных осуществляется нейтрализация некоторых доказанных акторов, принадлежащих процессу.
Сорт глобального значения переменной (a sort of global value of variable) - вспомогательная характеристика, приписываемая текущим глобальным значениям общих переменных - "защищенное" или "незащищенное".
Сорт значения порта (a sort of value of port) - вспомогательная характеристика, приписываемая текущим значениям портов - "защищенное" или "незащищенное".
Сорт порта (a sort of port) - вспомогательная характеристика, приписываемая портам; процесс относит каждый из своих портов к одному из трех сортов: "простой", "отключающий", "защищающий". Сорта портов задаются с помощью описателей портов или по умолчанию.
Сорт потокового сообщения (a sort of flow message) - вспомогательная характеристика, приписываемая потоковым сообщениям. Различаются два сорта потоковых сообщений - "защищенное" и "незащищенное". Потоковое сообщение является защищенным, если оно непустое и было отправлено (передано) через защищающий порт. В остальных случаях потоковое сообщение является незащищенным. В частности, сорт пустого сообщения всегда "незащищенное".
Составной терм (compound term) - структура, список или недоопределенное множество.
Состояние актора (state of actor) - Актор может находиться в одном из трех состояний: доказанный, активный, нейтральный.
Состояние порта (state of port) - вспомогательное логическое значение, поставленное в соответствие каждому порту. Считается, что порт процесса всегда находится в одном из двух возможных состояний: согласованный или несогласованный.
Состояние процесса (state of process) - Процесс может находиться в одном из трех состояний: 1) "объявленный; 2) "используемый"; 3) "неиспользуемый". "Используемый процесс" - это обобщающее название для следующих трех состояний процесса: 1) "сформированный"; 2) "доказанный"; 3) "неудачный".
Спейсер (spacer) - константа #, обозначающая неизвестный элемент данных или мир.
Специальный символ (special symbol) - графический символ, используемый для построения ограничителей.
Список (list) - составной терм, построенный из последовательности (возможно, пустой) аргументов, заключенной в квадратные скобки. В случае если последовательность аргументов списка не является пустой, в его состав может быть включен дополнительный компонент, обозначающий остаток (хвост) списка.
Список задержанных подцелей (list of suspended subgoals) - вспомогательный список подцелей доказательства, исполнение которых было отложено механизмом задержки исполнения подцелей. Считается, что на каждой фазе исполнения процесса используется новый список задержанных подцелей. В начале фазы список задержанных подцелей является пустым.
Стратегия управления (control strategy) - алгоритм управления исполнением программы, определяющий порядок выбора предложений программы и порядок исполнения подцелей в предложениях. Стратегия управления Акторного Пролога ("акторный механизм") является расширением стандартной стратегии управления ("поиск слева направо в глубину с возвратом"), соответствующей текстуальному упорядочению процедур и вызовов предикатов. Отличиями акторного механизма от стандартной стратегии управления являются возможности повторного доказательства акторов, а также задержки исполнения подцелей.
Строковый литерал (string literal) - разновидность простого терма - последовательность сегментов строки, обозначающая цепочку графических и управляющих символов.
Структура (structure) - составной терм, построенный из функтора и последовательности одного или более аргументов, заключенной в круглые скобки.
Сформированный процесс (formed process) - одно из возможных состояний процесса - характеризуется тем, что пространство поиска и слоты процесса уже созданы, но при этом некоторые акторы процесса еще ни разу не были доказаны и, следовательно, не согласованы.
Сцепление переменных (chaining of variables) - отождествление (несвязанных) переменных; любое связывание одной из сцепленных переменных автоматически вызывает такое же связывание всех сцепленных с ней переменных. В Акторном Прологе область действия операции сцепления переменной всегда ограничена множеством ее вхождений, принадлежащих некоторым конкретным акторам.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)