Грамматика языка описания формул

Язык описания математических формул можно задать более формально с использованием грамматики в расширенной форме Бэкуса-Наура с использованием следующих соглашений:

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

Содержание раздела