Класс (class) - набор предложений языка, имеющий уникальное имя и входящий в состав иерархии наследования.
Ключевое слово (keyword) - символическое обозначение, по которому транслятор распознает некоторые синтаксические конструкции.
Комментарий (comment) - часть текста программы, не влияющая на ее исполнение и служащая для документирования и облегчения чтения программы человеком.
Константа (constant) - простой терм, отличный от переменной и атрибута.
Конструктор (constructor) - утверждение о существовании экземпляра класса или резидента; в результате доказательства конструкторов происходит построение новых экземпляров классов и резидентов. Различаются конструкторы миров (а именно простые конструкторы и конструкторы процессов) и конструкторы резидентов.
Конструктор мира (constructor of world) - простой конструктор или конструктор процесса.
Конструктор процесса (constructor of process) - разновидность конструктора - утверждение о существовании процесса. Доказательство конструктора процесса приводит к созданию нового процесса.
Конструктор резидента (constructor of resident) - разновидность конструктора - утверждение о существовании резидента. Доказательство конструктора резидента приводит к созданию нового резидента.
ПРИЛОЖЕНИЕ 3. ТЕРМИНЫ И ОПРЕДЕЛЕНИЯ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)