Метаязык описания синтаксиса
Для описания синтаксических правил языков программирования используют специализированный метаязык, называемый иначе формой Бэкуса-Наура (БНФ). Этот метаязык прост, в нём присутствуют всего несколько элементов, но с его помощью можно провести однозначное и наглядное описание большинства языков.
Элементы языка БНФ:
< … > – структурный элемент, описание которого даётся в скобках;
word – специализированное (ключевое) слово языка;
(a | b)
– возможные варианты;
[ a ] – необязательный элемент синтаксиса;
{ … }* – возможность повторения содержимого скобок от 0 раз;
{ … }+ – возможность повторения содержимого скобок от 1 раза.
Прочие символы, встречаемые в описании некоторого языка посредством БНФ, следует воспринимать как элементы описываемого языка.