ГОСТ Р ИСО 18629-11— 2010
Приложение D
(справочное)
Условные обозначения формы Бэкуса-Наура
Используют следующие условные обозначения расширенной формы Бэкуса-Наура (BNF):
- Вертикальная черта «|» указывает исключающую дизъюнкцию, например, если С1 и С2 являются двумя
синтаксическими категориями, то «С1|С2» указывает на появление либо элемента С1. либо элемента С2. но не на
появление обоих элементов. Отсутствие черты между двумя элементами указывает на конкатенацию.
Звездочка к’ » сразу за логической структурой указывает, что может быть любое конечное число (включая 0)
элементов логической структуры.
- Верхний индекс в виде знака «+» сразу за логической структурой указывает, что может быть один или
больше экземпляров логической структуры.
- Фигурные скобки «{» и «}» используют для обозначения группирования. Так «{С1 | С2}+» указывает на
наличие одного или более элементов либо С1. либо С2.
- Логическая структура, взятая в квадратные скобки, например «[С1 | С2]». указывает, что элемент указанной
логической структуры является необязательным.
- Нетерминальный символ, представляющий категории выражений, начинается знаком «<» и заканчивает
ся знаком «>». Например. «<b-var> ::= ?<b-indcon>» указывает, что переменная величина должна начинаться с
вопросительного знака.
- При необходимости символ пробела представляют выражением «<space>n.
25