(Данное приложение не является частью определения языка.)
Аддитивный оператор - 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, 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
Буква E - 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
Предложение - 6; см. также: 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
copy - 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
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)