![](/user_photo/1334_ivfwg.png)
- •Алфавит языка
- •Лексика
- •Лексемы
- •Переменные
- •Символы и ключевые слова
- •Числовые литералы
- •Сегменты строк
- •Ограничители
- •Комментарии
- •Определение данных
- •Простые термы
- •Составные термы
- •Структуры
- •Списки
- •Недоопределённые множества
- •Унификация термов
- •Структура программы
- •Классы
- •Атрибуты классов
- •Инициализаторы слотов
- •Конструкторы
- •Проект
- •Пакеты
- •Трансляция исходных файлов
- •Структура пространства поиска
- •Экземпляры классов
- •Процессы
- •Состояния процесса
- •Порты процессов
- •Резиденты
- •Построение пространства поиска
- •Исполнение конструкторов
- •Построение слотов
- •Предложения классов
- •Атомарные формулы
- •Простые атомы
- •Бинарные отношения
- •Объявления функций
- •Подцели предложений
- •Вызовы функций
- •Выражения
- •Стратегия управления
- •Исполнение вызова предиката
- •Исполнение предложения
- •Механизм задержки исполнения
- •Откат программы
- •Акторы и повторные доказательства
- •Акторы
- •Общие переменные
- •Построение общих переменных
- •Согласование акторов процесса
- •Сопоставление локальных значений
- •Исполнение повторных доказательств
- •Согласование процессов
- •Классификация сообщений
- •Прямые сообщения
- •Потоковые сообщения
- •Исключительные ситуации
- •Встроенные предикаты и операторы
- •Корректное разрушающее присваивание
- •Актуализация производных значений
- •Сводка синтаксиса
- •Свойства, зависящие от реализации
- •Термины и определения
- •Список понятий языка
16 |
Глава 2. ЛЕКСИКА |
2.1.5Ограничители
Ограничитель — это последовательность из одного или нескольких специальных символов, используемая в синтаксических конструкциях языка. В языке используются:
1.простые ограничители ! # ( ) + , − . / : ; < = > ? [ ] { | }
2.составные ограничители :– << <− ?? == := <> <= >=
Значениями ограничителей считаются соответствующие цепочки графем.
Ссылки: графема 1, значение лексемы 2.1, специальный символ 1.
2.2Комментарии
Комментарием является последовательность графических и управляющих символов, начинающаяся с открывающей скобки комментария и заканчивающаяся закрывающей скобкой; комментариям разных типов соответствуют разные скобки. Открывающая скобка не является началом комментария, если её графические символы входят в состав лексемы или другого комментария. Определены два типа комментариев:
1.Однострочный комментарий: открывающая скобка — два соседних дефиса; закрывающая — любой управляющий символ, отличный от горизонтальной табуляции.
2.Многострочный комментарий: открывающая и закрывающая скобки «/ » и « /» соответственно. Повторное вхождение открывающей скобки «/ » в состав многострочного комментария считается синтаксической ошибкой.
Пример. Правильно построенные комментарии:
– – Однострочный комментарий
/ / / Многострочные комментарии /
/ /
Ссылки: графема 1, лексема 2.1, управляющий символ 1.