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