Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Синтаксис учебного концентра языка Lisp

Конкретизация синтаксиса для представления семантики	Пояснение
форма ::= переменная | (QUOTE S-выражение) | (COND {(форма форма)} | (функция {аргумент})	Переменная Константа Ветвление Вызов функции
аргумент ::= форма
переменная ::= идентификатор
функция ::= название | (LAMBDA список_переменных форма) | (FUNC название функция)	Имена, включая операции над списками Безымянная функция Именование функции
список_переменных ::= ({переменная} )	Любое число, возможно ни одного
название ::= идентификатор
идентификатор ::= атом
Собственно синтаксис и лексика
S-выражение ::= атом | (S-выражение . S-выражение) | ({S-выражение} )	Атом Консолидация Список
атом ::= БУКВА {БУКВА | ЦИФРА}

Исключение «синтаксического сахара» в ЯП обеспечивает внутреннее понимание сущности реализуемого алгоритма при подготовке и отладке программы автором.

Определение лексики и синтаксиса ЯП неявно связано с реализационной прагматикой (РП) той или иной ПП, поэтому без их детального рассмотрения переходим к анализу особенностей семантики и прагматики ЯП.


2.1 Семантика

Проблема определения ЯП и СП наиболее тщательно проработана в Венской методике определения языков программирования. Эта методика разработана в конце 60-х годов. Основная идея – использование абстрактного синтаксиса (АС) и абстрактной машины (АМ) при определении семантики языка программирования. Конкретный синтаксис

(КС) языка отображается в абстрактный, а абстрактная машина может быть реализована с помощью конкретной машины (КМ), причем и отображение и реализация могут иметь небольшой объем и невысокую сложность.

Диаграмма	Пояснение
КС ↔ АС → АМ → КМ	Существует отображение конкретного синтаксиса в абстрактный и обратно. Абстрактный синтаксис отображается в абстрактную машину. Абстрактная машина реализуется с помощью конкретной машины.

Рис. 1. Схема декомпозиции определения ЯП по Венской методике
Любое определение анализа текста программы выглядит как перебор распознавателей, передающих управление композициям из селекторов, достаточно определить набор распознавателей, выявляющих эти понятия, и селекторов, выделяющих их характеристики. Селекторы имеют смысл лишь при истинности соответствующего распознавателя.

Т а б л и ц а 4