Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 481 - 500 из 2154.
Упорядочить по:
URL
|
дате изменения
481. Actor Prolog. Programming language definition.
Числовой литерал - это лексема , обозначающая числовое значение : числовой_литерал = расширенное_число [ порядок ] | цифры "#" расширенное_число "#" [ порядок ] | ... Для получения значения числового литерала с порядком необходимо умножить значение числового литерала без порядка на основание, возведенное в указанную порядком степень. ... Ссылки: буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , управляющий символ 1 , цифра 1 , числовой литерал 2.1.3 . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020103.html -- 6.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
482. Actor Prolog. Programming language definition.
. Alt . KOI8 . 1251 . ИРЭ РАН . Содержание . Термины . БНФ . Индекс . Помощь
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/09010300.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
483. Actor Prolog. Programming language definition.
... Конструктор (constructor) - утверждение о существовании экземпляра класса или резидента ; в результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов . Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов ) и конструкторы резидентов . Конструктор мира (constructor of world) - простой конструктор или конструктор процесса . ... Доказательство конструктора процесса приводит к созданию нового процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030138.html -- 4.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
484. Actor Prolog. Programming language definition.
В качестве алфавита языка используется набор символов ASCII, при этом различаются графические символы ( графемы ), имеющие визуальное представление в виде отпечатанного знака или пробела, и управляющие символы : возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата и возврат каретки. Минимальный набор графических символов , достаточный для определения языка, включает буквы , цифры , символ пробела и специальные символы . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01010000.html -- 4.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
485. Actor Prolog. Programming language definition.
... Инициализация процесса (initialization of process) - фаза исполнения процесса , перед началом которой он находился в состоянии " сформированный ". ... Общая схема исполнения предиката включает : 1) Выбор предложения с подходящим заголовком . ... 3) Исполнение соответствующих подцелей доказательства . ... Исполнение программы начинается с доказательства конструктора процесса , заданного в определении проекта , а также формирования процесса , построенного в результате доказательства этого конструктора...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030136.html -- 14.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
486. Actor Prolog. Programming language definition.
... Задерживающее значение (suspending value) - значение потокового сообщения , переменной или порта , равное спейсеру # или несвязанной переменной (в том числе, пустому значению ). ... Значение переменной (value of variable) - 1. ... Значение потокового сообщения (value of flow message) - некоторое значение терма . ... Значение терма (value of term) - элемент данных , мир , спейсер или, если терм является несвязанной переменной , значение лексемы " переменная ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030135.html -- 8.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
487. Actor Prolog. Programming language definition.
Символ - это имя, начинающееся с маленькой буквы или заключенное в апострофы. ... символ_в_апострофах простой_символ = маленькая_буква [ [ "_" ] буквы_и_цифры ] символ_в_апострофах = "'" { графема } "'" . ... Если апострофы не используются, значение символа не должно совпадать с ключевыми словами языка. ... Ссылки: большая буква 1 , буквы и цифры 1 , графема 1 , значение лексемы 2.1 , маленькая буква 1 , простой символ 2.1.2 , символ в апострофах 2.1.2 . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020102.html -- 5.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
488. Actor Prolog. Programming language definition.
Унификация (unification) - операция сравнения (отождествления) нескольких формул, связывающая переменные в составе формул сопоставленными с ними подформулами. ... Унифицировать, ' == ' (unify) - предопределенный предикат языка, вызывающий унификацию заданных аргументов . ... Управляющий символ (control character) - элемент набора символов ASCII - возврат на одну позицию, горизонтальная табуляция, перевод строки, вертикальная табуляция, перевод формата или возврат каретки. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030147.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
489. Actor Prolog. Programming language definition.
... Метапеременная (metavariable) - переменная , обозначающая предикат (в этом случае метапеременная является метапредикатом ), функтор (в этом случае она является метафунктором ) или список аргументов предиката с переменным числом аргументов . Метапредикат (metapredicate) - предикат переменной арности , метапеременная , используемая в качестве атома или атом , в качестве функтора которого используется метапеременная . ... Метафунктор (metafunctor) - переменная , используемая в качестве функтора . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030140.html -- 4.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
490. Actor Prolog. Programming language definition.
Текущее значение порта (current value of port) - некоторый вспомогательный терм , поставленный в соответствие порту . Терм (term) - синтаксическая конструкция, обозначающая элемент данных или экземпляр класса . Различаются простые термы , составные термы , а также вызовы функций в предложениях . Точка выбора (backtrack point) - неисследованный путь, по которому может пойти исполнение программы в случае отката . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030146.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
491. Actor Prolog. Programming language definition.
Ограничитель - это последовательность из одного или нескольких специальных символов , используемая в синтаксических конструкциях языка. В языке используются : . простые ограничители . составные ограничители . Значениями ограничителей считаются соответствующие цепочки графем . Ссылки: графема 1 , значение лексемы 2.1 , специальный символ 1 . ... Предыдущий: 2.1.4. ... 2.1. ЛЕКСЕМЫ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020105.html -- 2.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
492. Actor Prolog. Programming language definition.
Сегмент строки - это лексема , обозначающая цепочку графических и управляющих символов : сегмент_строки = '"' { графема | код } '"' . В ходе сканирования сегмента строки конструкции вида "\" код (где код - некоторая буква или числовой литерал ) заменяются соответствующими графическими и управляющими символами . ... Ссылки: буква 1 , графема 1 , значение лексемы 2.1 , лексема 2.1 , сегмент строки 2.1.4 , управляющий символ 1 , числовой литерал 2.1.3 . ... 2.1. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/01020104.html -- 5.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
493. My Ph.D. thesis.
. Alt . KOI8 . 1251 . ИРЭ РАН . Actor Prolog . Помощь
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/09030300.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
494. Actor Prolog. Programming language definition.
... Обработка сообщения (processing of message) - фаза исполнения процесса - действия, осуществляемые процессом в случае получения сообщения . ... Описатель порта (declarator of port) - ключевое слово , с помощью которого задается сорт порта . Описателями портов служат ключевые слова " suspending " и " protecting ", обозначающие " отключающий " и " защищающий " соответственно. ... Поступление отключающего потокового сообщения на любой отключающий порт процесса вызывает отключение этого процесса . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030142.html -- 10.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
495. Actor Prolog. Programming language definition.
... Незащищенное сообщение (unprotected message) - потоковое сообщение , не являющееся защищенным . Неиспользуемый процесс (unused process) - одно из возможных состояний процесса - характеризуется тем, что на некоторые отключающие порты процесса поданы задерживающие значения . ... Несогласованный порт (inconsistent port) - одно из двух возможных состояний порта процесса - порт становится " несогласованным ", когда процесс получает через него потоковое сообщение . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030141.html -- 9.0 Кб -- 24.09.2007
Похожие документы
Похожие документы
496. Actor Prolog. Programming language definition.
... Передача сообщения (message passing) - последовательность действий, реализующая распространение информации из одного процесса в другие. ... Перекрытие инициализаторов (overriding of initializers) - осуществляется в ходе построения слотов экземпляра класса во время исполнения простого конструктора экземпляра класса - замена инициализаторов слотов в определении атрибутов класса другими инициализаторами , заданными в конструкторе или в классах , являющихся потомками рассматриваемого. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030143.html -- 29.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
497. Автореферат диссертации А.А.Морозова
... разделение И-дерева программы на акторы; . ... нейтрализация и повторное доказательство акторов. ... Таким образом, процесс доказательства каждого отдельного актора программы включает следующие фазы: . автономное доказательство актора; . ... нейтрализация акторов; . ... Если обнаруженные в процессе сопоставления локальных значений противоречия не удается устранить с помощью нейтрализации акторов, используется стандартный механизм отката, и программа возвращается на этап автономного доказательства. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/05010000.html -- 6.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
498. Actor Prolog. Programming language definition.
. Хвост (tail) - остаток списка или недоопределенного множества . ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . КОРНЕВАЯ СТРАНИЦА . ОГЛАВЛЕНИЕ . СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030149.html -- 1.8 Кб -- 24.09.2007
Похожие документы
Похожие документы
499. Actor Prolog. Programming language definition.
Связывание переменной (binding of variable) - замена всех вхождений переменной некоторой константой , составным термом или экземпляром класса . ... Согласование акторов (coordination of actors) - действия, осуществляемые для обеспечения согласованности акторов некоторого процесса - попытка согласовать локальные значения общих переменных акторов процесса . ... Соответствие переменной актору (correspondence between variable and some actor) - то же, что " использование переменной актором ". ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030145.html -- 22.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
500. Actor Prolog. Programming language definition.
... Разрушающее присваивание (destructive assignment) - В Акторном Прологе разрушающим присваиванием называется изменение производных значений общих переменных некоторого процесса , сопровождаемое нейтрализацией и повторным доказательством некоторых зависящих от них акторов . ... Расширенные цифры (extended digits) - цифры и буквы от "A" до "Z" (от "a" до "z"), используемые для определения числовых литералов с основанием. ... ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ . ... СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС) . ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/koi8/02030144.html -- 4.2 Кб -- 24.09.2007
Похожие документы
Похожие документы