Methods IDEF3

А.2 БНФ ДЛЯ ЯДРА ЯЗЫКА ДЕТАЛЬНОГО ОПИСАНИЯ

В данном разделе приводятся основы грамматики для ядра языка детального описания в расширенной нормальной форме Бэкуса-Наура (БНФ). Используются следующие соглашения:

Вертикальная черта "|" означает разделительную дизъюнкцию; следовательно, C1| C2 означает вхождение или C1, или C2, но не С1 и С2 одновременно. Отсутствие такой черты означает конъюнкцию.
Верхний индекс "звездочка" ("*"),следующий непосредственно за конструкцией (например, С^*), означает, что может быть ноль экземпляров, один экземпляр или несколько экземпляров данной конструкции.
Верхний индекс "плюс" ("+"), следующий непосредственно за конструкцией (например, C⁺), означает, что может быть один или несколько экземпляров данной конструкции.
Конструкция или комбинация конструкций, заключенная в квадратные скобки (например, [С1|С2]), означает, что данная конструкция или комбинация конструкций является необязательной.
В приведенной ниже грамматике терминалы (terminal) грамматики, т.е. выражения, которые резервируются в языке детального описания (т.е. служат для конкретной цели в языке), даются жирным шрифтом. Нетерминалы, т.е. выражения, представляющие категории выражений, начинаются символом "<" и заканчиваются символом ">". Например, идентификатор переменной должен начинаться знаком вопроса. Следовательно, эта конструкция представлена таким образом: <var> ::= ?<id>.