Метаязык – это язык для описания другого языка. Наиболее распространенными метаязыками для описания языков программирования являются нотация Бэкуса-Наура (БНФ) и синтаксические диаграммы. В данном пособии принята следующая система описаний правил и понятий языков программирования:
- := - фраза "это есть";
- { } – обязательный элемент конструкции; значение выбирается из нескольких альтернатив;
- [ ] – необязательный (optional) элемент конструкции;
- ... – предыдущий элемент конструкции может повторяться произвольное число раз;
- | - фраза "или";
- <...> - используется для обозначения понятий, а не конструкций языка.
Пример.
dim <список>
<список>:=<элемент>[,<элемент>]...
<элемент>:={<переменная>|<массив>} as <тип>