D. Список понятий языка (Данное приложение не является частью определения языка.)









Аддитивный оператор — 6.2.2

Активизация актора — 7.1; см. также: 5.2.2

Активизация порта — 5.2.2; см. также: 5.3, 7.4.2, 7.4.3

Активные акторы — 7.1; см. также: 5.2.2, 7.2, 8.2

Активные процессы — 5.2

Актор — 7.1; см. также: введение, 3.3, 5.2, 5.2.1, 5.2.2, 5.3, 5.4, 6.2, б.З, 6.3.1, 6.3.4, 7, 7.2, 7.2.1, 7.3, 7.3.1, 7.3.2, 7.4.2, 7.4.3, 7.5, 8.1, 8.2

Акторный вызов — 6.2; см. также: 6.3.1, 7.1, 7.5, 8

Акторный механизм — 7; см. также: введение, 6.3

Актор-представитель — 5.2.2; см. также: 7.3.2

Актуализация — 8.2; см. также: 7.2, 8

Актуальные значения — 7.2; см. также: 7.3.1

Анонимная переменная — 2.1.1; см. также: 3.2.3, 6.1.1, 6.3.2, 7.2, 7.4.3

Атом - 6.1; см. также: 3, 3.1, 4.1.3, 5.3, 6, 6.1.1, 6.1.2, 6.2, 6.2.1, 6.3.1

Атрибут - 4.1.1; см. также: 3, 3.1, 3.2.3, 4.1.3, 4.2, 4.4, 5.1, 5.3, 5.4, 5.4.2, 6, 6.2, 6.2.1, 6.3.1, 7.2.1

Атрибуты — 4.1.1; см. также: 4.1

Библиотечный модуль — 4.4

Бинарное отношение — 6.1.2; см. также: 6.1, 6.2

Ближний вызов — 6.2

Большая буква — 1; см. также: 2.1.1, 2.1.2 Буква — 1; см. также: 2.1.3, 2.1.4

Буква или цифра — 1

Буква Е — 2.1.3

Буквы и цифры — 1; см. также: 2.1.1, 2.1.2, 2.1.3

Владелец резидента — 5.3; см. также: 5.4.1, 5.4.2

Вложенность миров — 5; см. также: 5.1, 5.4

Вложенные акторы — 7.1; см. также: 7.2, 7.5

Встроенный оператор — 8; см. также: 5.2.2, 6.2, 6.3.1, 6.3.2, 7.5, 8.2

Встроенный предикат — 8; см. также: 3.3, 6.1.2, 7.5, 8.1

Вызов предиката — 6.2; см. также: 6.2.1, 6.3, 6.3.1, 6.3.2, 7.1, 7.4.2, 8

Вызов функции — 6.2.1; см. также: 4.1.3, 5.3, 5.4.2, 6.1.3, 6.2.2, 6.3.1, 6.3.2

Вызов функции в предложении — 6.2.1; см. также: 3, 3.2.2

Выражение — 6.2.2; см. также: 3.2.1, 3.2.2, 3.2.3

Глобальные значения — 7.2; см. также: 7.4.3

Глобальные операции — 7.2; см. также: 3, 3.3

Графема - 1; см. также: 2, 2.1.1, 2.1.2, 2.1.3, 2.1.4, 2.1.5, 2.2, 3.1, 6.1.1

Дальний вызов — 6.2; см. также: 6.3.1, 7.4.1, 7.4.2, 8

Данные — 3; см. также: 3.1, 3.3, 6.1.1, 6.3.1

Доказанный актор — 7.1; см. также: 7.2, 7.3.1, 8.1, 8.2

Доказанный процесс — 5.2.1; см. также: 5.2, 7.4.1, 7.4.3

Доказательство актора — 6.3.1; см. также: введение, 5.2, 5.2.1, 5.2.2, 5.3, 7.1, 7.2, 7.4.2, 7.4.3, 7.5, 8.1

Заголовок класса — 4.1

Заголовок множества — 3.2.3

Заголовок пакета — 4.3

Заголовок предложения — 6; см. также: 3, 3.1, 6.1.1, 6.1.3, 6.2.1, 6.3.1, 6.3.2

Задержанные подцели — 6.3.2

Задерживающие значения — 6.3.2; см. также: 5.2.1, 5.2.2, 6.3.3, 7.4.3

Защищающий порт — 5.2.2; см. также: 5.3, 5.4.1, 5.4.2, 7.4.3

Защищенное сообщение — 7.4.3; см. также: 5.2.2

Значение инициализатора — 4.1.2

Значение лексемы — 2.1; см. также: 2.1.1, 2.1.2, 2.1.3, 2.1.4, 2.1.5, 3, 3.1

Значение переменной — 3.1; см. также: введение, 6.3.2, 7.2, 7.2.1, 7.4.1

Значение порта — 5.2.2; см. также: 5.4.1, 7.4.2, 7.4.3

Значение потокового сообщения — 7.4.3; см. также: 5.2.2

Значение слота — 5.1; см. также: 4.1.3, 5.4.2, 6.3.1, 7.2.1

Значение терма — 3; см. также: 3.1, 3.2, 3.2.1, 3.2.2, 3.2.3, 3.3, 5.3, 5.4.2, 6.1.3, 6.3.1, 6.3.2, 6.3.3, 7.4.1, 7.4.3, 7.5

Иерархия наследования — 4.1; см. также: 4, 4.4, 5.4.1

Импортируемое имя — 4.3

Импортируемый класс — 4.3

Импорт классов — 4.3

Имя класса — 4.1; см. также: 4.1.3, 4.3

Имя пакета — 4.3

Имя элемента — 3.2.3; см. также: 3.3

Инициализатор — 4.1.2; см. также: 4, 4.1.1, 4.1.3, 5.1, 5.2, 5.3, 5.4.1, 5.4.2, 7.2.1

Инициализация процесса — 5.2.1

Инициализирующее сообщение — 7.4.3; см. также: 5.4.1

Интерференция сообщений — 7.4.3 Инфикс подцели — 6.2; см. также: 6.3.1

Информационные сообщения — 7.4.1; см. также: 5.2.1, 6.3.1, 7.4.2

Исключительная ситуация — 7.5; см. также: 3.3, 5.3, 7.4.1, 7.4.2, 8

Исполнение конструктора — 5.4.1; см. также: 4.2, 7.4.2, 7.4.3

Исполнение предиката — 6.3.1; см. также: 3, 3.3, 5.2.2, 5.3, 5.4, 6.2, 6.2.1, 6.3, 6.3.2, 6.3.3, 7.2, 7.3.2, 7.4.2, 7.5, 8, 8.1, 8.2

Исполнение предложения — 6.3.2; см. также: 5.2, 6.2, 6.3.1, 6.3.4

Исполнение программы — 4; см. также: 4.4, 5, 5.2.2, 5.3, 6.1.1, 7.5

Исполнение процесса — 5.2; см. также: введение, 5.2.1, 5.2.2, 5.3, 6.3.1, 6.3.4, 7.1, 7.2, 7.4, 7.4.2, 7.4.3, 7.5

Использование класса — 4; см. также: 4.1

Использование переменной — 7.2

Используемый процесс — 5.2.1; см. также: 5.2.2, 5.4.1, 7.4.3

Исходный файл — 4.4; см. также: 4.3

Класс - 4.1; см. также: 3, 3.2.3, 4, 4.1.1, 4.3, 4.4, 5.1, 5.4, 5.4.1, 5.4.2, 6

Ключевое слово — 2.1.2; см. также: 2.1, 4.3, 5.2.2 Код - 2.1.4

Команда импорта — 4.3; см. также: 4.4

Команды импорта — 4.3

Комментарий — 2.2; см. также: 2

Константа — 3.1; см. также: 3.3, 7.5

Конструктор — 4.1.3; см. также: 4, 4.1.2, 5.1, 5.4.1, 5.4.2, 7.2.1

Конструктор мира — 4.1.3; см. также: 5.1, 5.3, 5.4, 5.4.2

Конструктор процесса — 4.1.3; см. также: 4, 4.2, 5.2, 5.4.1, 7.4.3

Конструктор резидента — 4.1.3; см. также: 5.3, 5.4.1, 5.4.2

Конъюнкция — 6; см. также: 6.2.1 Лексема - 2.1; см. также: 2, 2.1.1, 2.1.3, 2.1.4, 2.2, 3.1

Локальные значения — 7.2; см. также: 5.2.2, 7.3.1, 7.3.2, 8.2

Максимальная относительная погрешность — 2.1.3

Маленькая буква — 1; см. также: 2.1.1, 2.1.2

Метаатом — 6.1.1; см. также: 4.1.3, 6.3.2

Метапеременная — 3; см. также: 3.1, 6, 6.1.1, 6.1.3, 6.2, 6.2.1, 6.3.1, 6.3.2

Метапредикат — 6.1.1

Мета предложение — 6; см. также: 3.1, 6.2.1, 6.3.1, 6.3.2

Метафунктор — 3; см. также: 6.1.1, 6.3.1, 6.3.2

Механизм задержки — 6.3.3; см. также: 6.3, 6.3.2

Мир - 5.1; см. также: 3, 3.1, 3.3, 4, 4.1, 4.1.1, 4.1.3, 4.2, 5, 5.2, 5.2.1, 5.3, 5.4, 5.4.1, 5.4.2, 6.2, 6.3.1, 7.2, 7.2.1, 7.4.2, 7.4.3, 7.5

Множитель — 6.2.2

Мультипликативный оператор — 6.2.2

Начальное значение слота — 5.4.2; см. также: 4.1.2, 5.4.1, 7.2.1

Недоопределённое множество — 3.2.3; см. также: 3.2, 3.3, 6.1.1

Незащищённое сообщение — 7.4.3; см. также: 5.2.2

Неиспользуемый процесс — 5.2.1; см. также: 5.2, 5.2.2, 5.3, 5.4.1, 7.4.3

Нейтрализация актора — 7.1; см. также: 5.2.2, 6.3.4, 7.3, 7.3.1, 8.1

Нейтрализация процесса — 5.2.1

Нейтральные акторы — 7.1; см. также: 5.2.2, 7.2, 7.3.2

Непустое значение — 7.4.3

Непустое сообщение — 7.4.3

Несвязанная переменная — 3.1; см. также: 3, 3.3, 5.3, 6.3.2, 7.2, 7.4.2, 7.5

Несогласованный порт — 5.2.2; см. также: 5.3, 7.4.2, 7.4.3

Неудачный процесс — 5.2.1; см. также: 5.3, 7.4.1, 7.4.3

Обозначение исключительной ситуации — 7.5

Обработка исключительной ситуации — 7.5

Обработка потокового сообщения — 7.4.3; см. также: 5.2.2, 5.3, 7.2, 7.4.1, 7.4.2

Обработка прямого сообщения — 7.4.2; см. также: 5.3

Обработка сообщения — 7.4; см. также: 5.2, 5.2.1, 7.4.1, 7.4.3

Обращение к отладчику — 8

Общие переменные — 7.2; см. также: введение, 5.2, 5.3, 5.4.1, 5.4.2, 6.3.1, 7.2.1, 7.3, 7.3.1, 7.3.2, 7.4.3, 8.1, 8.2

Объявление функции — 6.1.3; см. также: 6, 6.1, 6.2.1, 6.3.1, 6.3.2

Объявленный процесс — 5.2.1; см. также: 5.3, 5.4.1

Ограничитель — 2.1.5; см. также: 2, 2.1

Оператор отношения — 6.1.2

Описатель порта — 4.1.1; см. также: 5.2.2, 5.4.1, 5.4.2

Определение атрибута — 4.1.1

Определение класса — 4.1

Определение проекта — 4.2

Освобождение общих переменных — 7.4.3

Откат — 6.3.4; см. также: 5.3, 6.3.1, 7.5

Отключающие значения — 6.3.2

Отключающие сообщения — 7.4.3

Отключающий порт — 5.2.2; см. также: 5.2.1, 7.4.2, 7.4.3

Отключение процесса — 5.2.1

Отсечение — 8; см. также: 4.1, 6.2, 6.3.4

Пакет — 4.3; см. также: 4.4

Параметр — 3.1; см. также: 3.2.2, 4.1.3

Параметр или конструктор — 4.1.3

Передача потокового сообщения — 7.4.3; см. также: 5.2.2, 5.3, 7.2

Передача прямого сообщения — 7.4.2; см. также: 6.3.4, 7.4.1

Передача сообщения — 7.4; см. также: 6.3.1

Переключающие сообщения — 7.4.1; см. также: 5.2.1, 5.3, 6.3.1, 7.4.2, 7.4.3

Перекрытие инициализаторов — 5.4.2; см. также: 4

Перекрытие описателей — 5.4.2

Переменная — 2.1.1; см. также: 2.1, 3, 3.1, 3.2.3, 3.3, 4.1.1, 4.2, 5.2.2, 5.3, 5.4, 5.4.1, 5.4.2, 6, 6.1.1, 6.2, 6.2.1, 6.3.1, 6.3.2, 6.3.4, 7.2, 7.2.1, 7.4.2, 7.4.3, 8.2

Пересмотр списка задержанных — 6.3.3; см. также: 6.3.2

Повторные доказательства — 7.1; см. также: введение, 5.2.2, 6.3, 6.3.4, 7, 7.3, 7.3.2, 8.1

Поглощение сообщений — 7.4.1; см. также: 7.4.3

Подключение процесса — 5.2.1

Подцель (синтаксическое обозначение подцели предложения) — 6.2; см. также: 6

Подцель доказательства — 6.3.1; см. также: введение, 5.4, 6.2.1, 6.3.2, 6.3.3, 7.1, 7.2

Подцель предложения — 6.2; см. также: 6, 6.1.1, 6.1.3, 6.2.1, 6.3.1, 6.3.2

Порт - 5.2.2; см. также: 5.3, 5.4.1, 5.4.2, 7.2, 7.3.2, 7.4.2, 7.4.3

Порядок — 2.1.3

Построение миров — 5.4.1; см. также: 4, 4.1.3, 5.1, 5.4, 5.4.2

Построение общих переменных — 7.2

Построение процесса — 5.4.1; см. также: 4, 5.2, 5.2.1, 5.4

Построение резидента — 5.4.1

Построение слотов — 5.4.2; см. также: 3, 5.4.1, 7.2.1

Потоковые сообщения — 7.4.3; см. также: 5.2, 5.2.1, 5.2.2, 5.3, 5.4.1, 7.2, 7.4.1, 7.4.2

Правило — 6

Предикат переменной арности — 6.1.1

Предложение — б; см. также: 3, 3.1, 4.1, 4.1.1, 4.4, 5.1, 5.2, 5.4.1, 6.1.1, 6.1.3, 6.2, 6.2.1, 6.3.1, 6.3.2, 6.3.4, 8

Предложения — 6

Предопределённый предикат — 8; см. также: 6.3.1, 6.3.2

Принадлежать актору — 7.2; см. также: 3.3, 5.2.2

Принадлежать процессу — 5.2; см. также: 5.2.1, 5.2.2, 7.1, 7.2, 8.1, 8.2

Проверка вхождения — 3.3; см. также: введение

Программа — 4; см. также: введение, 2, 3.2.3, 4.2, 4.3, 4.4, 5.2, 5.2.2, 6.3.4, 7.2, 7.5, 8, 8.1, 8.2

Программная библиотека — 4.4

Проект — 4.2; см. также: 4, 4.1, 4.3, 4.4

Производитель глобального значения — 7.2

Производитель значения порта — 5.2.2; см. также: 7.4.2, 7.4.3

Производитель потокового сообщения — 7.4.3

Производные значения — 7.2; см. также: 5.2, 5.2.1, 6.3.1, 7.3, 7.4.2, 7.4.3, 8.1, 8.2

Простая подцель — 6.2

Простой атом — 6.1.1; см. также: 4.1.3, 6.1, 6.1.3, 6.2, 6.2.1

Простой вызов — 6.2

Простой конструктор — 4.1.3; см. также: 5.4.1, 5.4.2

Простой порт — 5.2.2; см. также: 5.3, 5.4.1, 7.4.2, 7.4.3

Простой символ — 2.1.2; см. также: 4.1.1

Простой терм — 3.1; см. также: 3, 3.2.3

Процедура — 6; см. также: 6.2.1, 6.3

Процесс — 5.2; см. также: введение, 4, 4.1.3, 5.2.1, 5.2.2, 5.3, 5.4.1, 6.3.1, 6.3.3, 6.3.4, 7, 7.1, 7.2, 7.3, 7.3.1, 7.3.2, 7.4, 7.4.1, 7.4.2, 7.4.3, 7.5, 8.1, 8.2

Прямые сообщения — 7.4.2; см. также: 5.2, 6.3.1, 6.3.4, 7.4.1

Пустое значение — 7.4.3; см. также: 7.2, 7.4.2

Пустое сообщение — 7.4.3

Разделитель — 2

Разрушающее присваивание — 8.1; см. также: введение, 7, 8

Расширенное число — 2.1.3

Расширенные цифры — 2.1.3

Резидент — 5.3; см. также: 4.1.3, 5.4.1, 5.4.2, 7.4.1

Связанная переменная — 3.1

Связывание — 3.3; см. также: 3.1, 6.3.1, 6.3.4

Сегмент строки — 2.1.4; см. также: 2.1, 3.1

Символ - 2.1.2; см. также: 2.1, 3, 3.1, 3.2.3, 6, 6.1.1, 6.3.2, 7.5

Символ в апострофах — 2.1.2; см. также: 3, 3.1, 3.2.3, 4.1

Системный каталог — 4.3

Слагаемое — 6.2.2

Слот - 5.1; см. также: 3.2.3, 4.1.1, 4.1.2, 4.1.3, 5.2, 5.3, 5.4, 5.4.1, 5.4.2, 6.3.2, 7.2.1

Согласование акторов — 7.3; см. также: 5.2.1, 6.3.1, 7.3.1, 7.3.2, 7.4.2, 7.4.3, 8.1

Согласование процессов — 7.4; см. также: 4

Согласованность акторов — 7.2; см. также: 5.2.1, 7.3

Согласованность процессов — 5.2; см. также: 7.4

Согласованный порт — 5.2.2; см. также: 7.4.3

Создатель процесса — 5.2; см. также: 5.4.1, 7.4.3

Создатель резидента — 5.3

Сообщение — 7.4; см. также: 5.2, 5.2.1, 5.2.2, 7.4.1, 7.4.2, 7.4.3

Соответствовать актору — 7.2

Сопоставление локальных значений — 7.3.1; см. также: 7.2, 7.3, 7.3.2

Сорт глобального значения — 7.2; см. также: 7.4.3

Сорт значения порта — 5.2.2; см. также: 7.4.2, 7.4.3

Сорт порта — 5.2.2; см. также: 7.4.2, 7.4.3

Сорт потокового сообщения — 7.4.3

Составной терм — 3.2; см. также: 3, 3.1, 3.2.1, 3.2.2, 3.2.3, 3.3

Состояние актора — 7.1; см. также: 6.3.4

Состояние порта — 5.2.2; см. также: 7.4.3

Состояние процесса — 5.2.1; см. также: 5.2, 5.2.2, 5.3, 5.4.1, 7.4.1, 7.4.2, 7.4.3

Спейсер — 3.1; см. также: 3.3, 5.3, 6.3.1, 6.3.2, 7.2

Специальный символ — 1; см. также: 2.1.5

Список — 3.2.2; см. также: 3.2, 5.3, 6.1.1, 6.2.1, 6.3.2, 6.3.3

Список задержанных подцелей — 6.3.2; см. также: 6.3.3, 6.3.4

Строковый литерал — 3.1; см. также: 4.3

Структура — 3.2.1; см. также: 3.2, 6.3.2

Сформированный процесс — 5.2.1; см. также: 5.3, 5.4.1, 7.4.1, 7.4.2, 7.4.3

Сцепление переменных — 3.3; см. также: 6.3.4

Терм - 3; см. также: 3.1, 3.2, 3.2.1, 3.2.2, 3.2.3, 3.3, 4.1.2, 5.1, 5.2.2, 5.3, 5.4.2, 6.1.3, 6.2.2, 6.3.2, 7.2, 7.4.3

Термы и выражения — 3.2.1; см. также: 3.2.2, 6.1.1, 6.2, 6.2.1

Терм или выражение — 3.2.1; см. также: 3.2.3, 6, 6.1.2, 6.1.3

Унификация — 3.3; см. также: введение, 3, 3.2.3, 5.2, 6.1.1, 6.3.2, 7.2, 7.3.1, 7.4.3, 8.1, 8.2

Унифицировать — 3.3; см. также: 8

Управляющий символ — 1; см. также: 2, 2.1.3, 2.1.4, 2.2, 3.1

Фаза - 5.2; см. также: 5.2.1, 5.2.2, 5.3, 6.3.1, 6.3.3, 7.1, 7.4, 7.4.2, 7.4.3

Факт — 6

Фиксирование процесса — 5.2

Фиксирование терма — 7.2; см. также: 5.2

Фиксированное значение — 7.2; см. также: 7.3.1, 7.4.2, 7.4.3

Формирование миров — 5.4.1; см. также: 4.1, 5.2.1, 5.4, 7.2.1, 7.4.2, 7.4.3

Формирование программы — 4.4

Формирование процесса — 5.4.1; см. также: 4, 5.2.1, 5.2.2, 7.4.3

Функтор - 3; см. также: 3.2.1, 3.2.3, 6.1.1, 6.1.2, 6.2.2, 6.3.2

Функция — 6.1.3; см. также: 5.3, 6, 6.2.1, 6.3.1, 7.4.1

Хвост — 3.2.2; см. также: 3.2.3

Целевой мир — 5.3; см. также: 4.1.3

Целевой параметр — 4.1.3; см. также: 5.3, 6.2, 6.2.1, 6.3.1, 6.3.2, 6.3.3

Целевой процесс — 5.3; см. также: 7.4.1

Цифра — 1; см. также: 2.1.3

Цифры — 2.1.3

Число — 3.1; см. также: 3.2.3, 3.3, 7.5

Числовой литерал — 2.1.3; см. также: 2, 2.1, 2.1.4, 3.1, 3.2.3

Элементарный программный модуль — 4.4

Элементы и хвост множества — 3.2.3

Элементы множества — 3.2.3

Элемент множества — 3.2.3; см. также: 3.3

alarm — 7.5; см. также: 8

as — 2.1.2; см. также: 4.3

break — 7.5; см. также: 8

class - 2.1.2; см. также: 4.1, 4.4, 5.1, 5.4.2, 7.5, 8.1

сору — 8.2; см. также: 5.2.2, 6.2, 8

element — 6.2.1; см. также: 8

fail - 8

from — 2.1.2; см. также: 4.3

goal - 5.4.1; см. также: 4.1, 4.4, 5.4, 5.4.2, 7.4.2, 7.4.3, 7.5, 8, 8.1, 8.2

import — 2.1.2; см. также: 4.3

package — 2.1.2; см. также: 4.3, 4.4

project — 2.1.2; см. также: 4.2, 4.4

protecting — 2.1.2; см. также: 4.1.1, 5.2.2, 5.4.2

self-4.1.1; см. также: 4.1.3, 4.2, 5.3, 6.2.1

specializing — 2.1.2; см. также: 4.1, 4.4, 5.1, 5.4.2, 7.5

spypoint — 8

suspending — 2.1.2; см. также: 4.1.1, 5.2.2, 5.4.2

true — 8

! — 6.2; см. также: 8

" — 2.1.2; см. также: 6.1.1, 8

':=' — 8.1; см. также: 6.1.2, 8

'==' — 3.3; см. также: 6.1.2, 6.2.1, 8



Содержание