Бэкуса — Наура формы (БНФ)
Широко используемой формой записи правил КС-грамматик является БНФ. В ней вместо символа →-используется символ ::==, а металингвистические переменные представляют собой слова или группы русских (или других) слов, заключенные в специальные кавычки <>, например: <арифметическое выражение>. Правила грамматики, записанные в БНФ, обычно называются (металингвистическими) формулами.