Синтаксис — это правила, определяющие, как формально должны выглядеть конструкции языка программирования. Сюда входят:
- Структура операторов.
- Порядок расположения элементов программы.
- Определение корректных последовательностей символов.
Пример синтаксиса оператора if на C++:
if (<выражение>) <оператор>
Семантика описывает смысл этих конструкций. Для оператора if, например, семантика заключается в выполнении действия <оператор> при истинности <выражения>.
Качество синтаксиса языка
Критерии оценки синтаксиса:
- Легкость чтения:
- Естественная структура операторов.
- Использование комментариев и мнемонических обозначений.
- Возможность однозначной интерпретации.
- Легкость написания:
- Применение простых конструкций.
- Необходимость разумного компромисса между читаемостью и простотой записи.
- Легкость трансляции:
- Регулярность синтаксиса упрощает трансляцию (например, LISP).
- Чем больше синтаксических правил, тем сложнее трансляция (например, Ada).
- Отсутствие неоднозначности:
- Каждая конструкция должна иметь однозначное толкование.
- Пример неоднозначности: "повисший else" при вложении условных операторов.
Основные синтаксические элементы
- Набор символов:
- Поддержка ASCII, Unicode, UTF-8, UTF-16.
- Идентификаторы:
- Уникальные имена переменных, функций, начинающиеся с буквы.
- Длина и регистрозависимость варьируются в зависимости от языка.
- Константы и литералы:
- Целые, вещественные, символьные, строковые константы.
- Символы операций:
- Операторы присваивания, арифметические, логические.