Метаобозначения

Метаязык – это язык для описания другого языка. Наиболее распространенными метаязыками для описания языков программирования являются нотация Бэкуса-Наура (БНФ) и синтаксические диаграммы. В данном пособии принята следующая система описаний правил и понятий языков программирования:

- := - фраза "это есть";

- { } – обязательный элемент конструкции; значение выбирается из нескольких альтернатив;

- [ ] – необязательный (optional) элемент конструкции;

- ... – предыдущий элемент конструкции может повторяться произвольное число раз;

- | - фраза "или";

- <...> - используется для обозначения понятий, а не конструкций языка.

Пример.

dim <список>

<список>:=<элемент>[,<элемент>]...

<элемент>:={<переменная>|<массив>} as <тип>