Форма Бэкуса – Наура

Формализм для описания языков программирования

В информатике форма Бэкуса-Наура ( / ˌ b æ k ə s ˈ n aʊər / ) (BNF или нормальная форма Бэкуса ) — это обозначение, используемое для описания синтаксиса языков программирования или других формальных языков . Его разработали Джон Бэкус и Питер Наур . BNF можно описать как метасинтаксическую нотацию для контекстно-свободных грамматик . Форма Бэкуса-Наура применяется везде, где необходимы точные описания языков, например, в спецификациях официальных языков, в руководствах и учебниках по теории языков программирования. BNF может использоваться для описания форматов документов , наборов команд и протоколов связи .

Со временем было создано множество расширений и вариантов исходной нотации Бэкуса – Наура; некоторые из них точно определены, включая расширенную форму Бэкуса-Наура (EBNF) и расширенную форму Бэкуса-Наура (ABNF).

Обзор

Спецификация BNF представляет собой набор правил вывода, записанных как

 < символ >  ::= __выражение__

где:

• < символ > ^[1] — нетерминальная переменная, которая всегда заключена между парой <>.
• ::=означает, что символ слева необходимо заменить выражением справа.
• __expression__ состоит из одной или нескольких последовательностей терминальных или нетерминальных символов, где каждая последовательность разделена вертикальной чертой «|». указывает на выбор , причем все это является возможной заменой символа слева.

Пример

В качестве примера рассмотрим возможный BNF для почтового адреса в США :

 < почтовый адрес >  ::=  < часть имени >  < уличный адрес >  < zip-часть > < часть имени >  ::=  < личная часть >  < фамилия >  < часть дополнительного суффикса >  < EOL > | < личная часть >  < часть имени > < личная часть >  ::=  < имя > | < начальный > "." < уличный адрес >  ::=  < номер дома >  < название улицы >  < номер opt-apt- num >  <EOL> < почтовый индекс >  ::=  < название города > "," < код штата >  < почтовый индекс >  < EOL >< opt-suffix-part >  ::= "Старший." | «Младший». | < римская цифра > | "" < номер-аппарата >  ::= "Апт" < номер-аппарата > | ""

На английский это переводится как:

• Почтовый адрес состоит из части имени, за которой следует часть почтового адреса , за которой следует часть почтового индекса .
• Часть имени состоит либо из личной части, за которой следует фамилия, за которой следует необязательный суффикс (младший старший или династический номер) и конца строки , либо личная часть, за которой следует часть имени (это Правило иллюстрирует использование рекурсии в BNF, охватывая случай людей, которые используют несколько имен, отчества и инициалов). ^[2]
• Личная часть состоит из имени или инициала , за которым следует точка.
• Уличный адрес состоит из номера дома, за которым следует название улицы, за которым следует необязательный указатель квартиры , за которым следует конец строки.
• Почтовый индекс состоит из названия города , за которым следует запятая, за которой следует код штата , за которым следует почтовый индекс, за которым следует конец строки.
• Часть opt-suffix-suffix состоит из суффикса, например «Sr.», «Jr.». или римская цифра , или пустая строка (т.е. ничего).
• opt-apt-num состоит из префикса «Apt», за которым следует номер квартиры или пустая строка (т. е. ничего).

Обратите внимание, что многие вещи (например, формат имени, номера квартиры, почтового индекса и римских цифр) здесь оставлены неуказанными. При необходимости их можно описать с помощью дополнительных правил BNF.

История

Идея описания структуры языка с помощью правил переписывания восходит, по крайней мере, к работам Панини , древнего индийского грамматика санскрита и уважаемого ученого в индуизме, который жил где-то между 6-м и 4-м веками до нашей эры . ^{[3] [4]} Его обозначения для описания структуры санскритских слов эквивалентны по силе обозначениям Бэкуса и имеют много схожих свойств.

В западном обществе грамматика долгое время рассматривалась как предмет преподавания, а не научного изучения; описания были неформальными и ориентированы на практическое использование. В первой половине 20-го века такие лингвисты , как Леонард Блумфилд и Зеллиг Харрис, начали попытки формализовать описание языка, включая структуру фраз .

Тем временем правила переписывания строк как формальные логические системы были введены и изучены такими математиками, как Аксель Туэ (в 1914 году), Эмиль Пост (1920–40-е годы) и Алан Тьюринг (1936). Ноам Хомский , преподававший лингвистику студентам теории информации в Массачусетском технологическом институте , объединил лингвистику и математику, взяв за основу для описания синтаксиса естественного языка то, что по сути является формализмом Туэ . Он также ввел четкое различие между порождающими правилами (контекстно -свободными грамматиками ) и правилами преобразования (1956). ^{[5] [6]}

Джон Бэкус , разработчик языка программирования в IBM , предложил метаязык «металингвистических формул» ^{[1] [8] [9]} для описания синтаксиса нового языка программирования IAL, известного сегодня как АЛГОЛ 58 (1959). Его обозначения впервые были использованы в отчете ALGOL 60.

BNF — это обозначение контекстно-свободных грамматик Хомского. Бэкус был знаком с работами Хомского. ^[10]

По предложению Бэкуса, формула определяла «классы», имена которых заключены в угловые скобки. Например, <ab>. Каждое из этих названий обозначает класс основных символов. ^[1]

Дальнейшее развитие АЛГОЛА привело к созданию АЛГОЛА 60 . В отчете комитета за 1963 год Питер Наур назвал нотацию Бэкуса нормальной формой . Дональд Кнут утверждал, что BNF скорее следует читать как форму Бэкуса-Наура , поскольку она «не является нормальной формой в общепринятом смысле слова» ^[11] в отличие, например, от нормальной формы Хомского . Название « форма Панини Бэкуса» также однажды было предложено ввиду того факта, что нормальная форма расширения Бэкуса может быть неточной, и что Панини независимо разработал аналогичную систему обозначений ранее. ^[12]

BNF описан Питером Науром в отчете ALGOL 60 как металингвистическая формула : ^[13]

Последовательности символов, заключенные в скобки <>, представляют собой металингвистические переменные, значениями которых являются последовательности символов. Знаки "::=" и "|" (последние со значением «или») являются метаязыковыми связками. Любой знак в формуле, не являющийся переменной или связкой, обозначает сам себя. Сопоставление знаков или переменных в формуле означает сопоставление обозначенной последовательности.

Другой пример из отчета ALGOL 60 иллюстрирует основное различие между метаязыком BNF и бесконтекстной грамматикой Хомского. Металингвистические переменные не требуют правила, определяющего их формирование. Их формирование можно просто описать на естественном языке в скобках <>. Следующая спецификация комментариев к разделу 2.3 отчета ALGOL 60 показывает, как это работает:

Для включения текста в число символов программы соблюдаются следующие соглашения о комментариях:

Эквивалентность здесь означает, что любая из трех структур, показанных в левом столбце, может быть заменена в любом случае вне строк символом, показанным в той же строке в правом столбце, без какого-либо влияния на действие программы.

Наур изменил два символа Бэкуса на общедоступные символы. Первоначально этот ::=символ был :≡. Первоначально символом |было слово « или » (с чертой над ним). ^{[8] : 14}

БНФ очень похож на уравнения булевой алгебры канонической формы , которые в то время использовались при проектировании логических схем. Бэкус был математиком и разработчиком языка программирования FORTRAN. Изучение булевой алгебры обычно является частью учебной программы по математике. Ни Бэкус, ни Наур не назвали заключенные в них имена нетерминалами. Терминология Хомского изначально не использовалась при описании БНФ. Позже Наур описал их как занятия по материалам курса ALGOL. ^[1] В отчете ALGOL 60 они были названы металингвистическими переменными. Все, кроме метасимволов , и имен классов, заключенных в, является символами определяемого языка. Метасимвол следует интерпретировать как «определяется как». Используется для разделения альтернативных определений и интерпретируется как «или». Метасимволы представляют собой разделители, заключающие в себе имя класса. BNF описан Питером Науром и Солом Розеном как метаязык разговоров об АЛГОЛЕ . ^[1]< >::=|< >::=|< >

В 1947 году Сол Розен стал участвовать в деятельности молодой Ассоциации вычислительной техники , сначала в комитете по языкам, который стал группой IAL и в конечном итоге привел к созданию ALGOL. Он был первым ответственным редактором журнала Communications of ACM. ^{[ нужны разъяснения ]} BNF впервые использовался в качестве метаязыка для обсуждения языка АЛГОЛ в отчете АЛГОЛ 60. Именно так это объясняется в материалах курса программирования ALGOL, разработанных Питером Науром в 1962 году. ^[1] Ранние руководства по ALGOL от IBM, Honeywell, Burroughs и Digital Equipment Corporation следовали за отчетом по ALGOL 60, используя его в качестве метаязыка. Саул Розен в своей книге ^[14] описывает BNF как метаязык разговоров об АЛГОЛЕ. Примером его использования в качестве метаязыка может быть определение арифметического выражения:

< выражение >  ::=  < термин > | < выражение >< добавление >< термин >

Первым символом альтернативы может быть определяемый класс, повторение, как объяснил Наур, имеет функцию указания того, что альтернативная последовательность может рекурсивно начинаться с предыдущей альтернативы и может повторяться любое количество раз. ^[1] Например, приведенное выше <expr>значение определяется как <term>за которым следует любое количество <addop> <term>.

В некоторых более поздних метаязыках, таких как META II Шорра , конструкция рекурсивного повторения BNF заменяется оператором последовательности и символами целевого языка, определенными с использованием строк в кавычках. Кронштейны <и >были сняты. ()Добавлены круглые скобки для математической группировки. Правило <expr>появится в META II как

EXPR = TERM $('+' TERM .OUT('ADD') | '-' TERM .OUT('SUB'));

Эти изменения позволили META II и производным от него языкам программирования определить и расширить свой собственный метаязык за счет возможности использовать описание естественного языка, металингвистическую переменную и описание языковых конструкций. Многие побочные метаязыки были вдохновлены BNF. ^{[ нужна цитация ]} См. META II , TREE-META и Metacompiler .

Класс BNF описывает формирование языковой конструкции, причем формирование определяется как шаблон или действие по формированию шаблона. Имя класса expr описывается на естественном языке как <term>последовательность, за которой следует <addop> <term>. Класс — это абстракция; мы можем говорить о нем независимо от его формирования. Мы можем говорить о термине, независимо от его определения, как о добавлении или вычитании в выражении. Мы можем говорить о том, что термин представляет собой определенный тип данных и о том, как выражение должно оцениваться с использованием определенных комбинаций типов данных или даже о переупорядочении выражения для группировки типов данных и результатов оценки смешанных типов. Дополнение к естественному языку предоставило конкретные детали семантики языковых классов, которые будут использоваться реализацией компилятора и программистом, пишущим программу на ALGOL. Описание на естественном языке также дополняло синтаксис. Правило целых чисел — хороший пример естественного и метаязыка, используемого для описания синтаксиса:

< целое число >  ::=  < цифра > | < целое число >< цифра >

Выше нет никаких подробностей о пустом пространстве. Согласно правилу, между цифрами может быть пробел. В естественном языке мы дополняем метаязык БНФ, объясняя, что последовательность цифр не может иметь пробелов между цифрами. Английский — лишь один из возможных естественных языков. Переводы отчетов ALGOL были доступны на многих естественных языках.

Происхождение BNF не так важно, как его влияние на развитие языков программирования. ^{[ нужна цитация ]} В период сразу после публикации отчета об Алголе 60 BNF был основой многих систем компилятора-компилятора .

Некоторые, такие как «Компилятор с синтаксическим управлением для АЛГОЛА 60», разработанный Эдгаром Т. Айронсом, и «Система построения компилятора», разработанная Брукером и Моррисом, напрямую использовали BNF. Другие, такие как метакомпиляторы Шорре, превратили его в язык программирования лишь с небольшими изменениями. <class name>стали идентификаторами символов, отбросив заключающий их <,> и используя строки в кавычках для символов целевого языка. Группировка, подобная арифметике, обеспечивает упрощение, исключающее использование классов, для которых группировка была единственным значением. Правило арифметического выражения META II показывает использование группировки. Выражения вывода, помещенные в правило META II, используются для вывода кода и меток на языке ассемблера. Правила в META II эквивалентны определениям классов в BNF. Утилита Unix yacc основана на BNF, а создание кода аналогично META II. yacc чаще всего используется в качестве генератора синтаксического анализатора , и его корни, очевидно, лежат в BNF.

BNF сегодня является одним из старейших компьютерных языков, которые до сих пор используются. ^{[ нужна цитата ]}

Дальнейшие примеры

Синтаксическая диаграмма БНФ

Сам синтаксис BNF может быть представлен с помощью BNF следующим образом:

 < синтаксис >  ::=  < правило > | < rule >  < синтаксис >  < rule >  ::=  < opt-whitespace > "<" < имя-правила > ">" < opt-whitespace > " ::= " < opt-whitespace >  < выражение >  < конец строки >  < opt-whitespace >  ::= " " < opt-whitespace > | "" < выражение >  ::=  < список > | < список >  < opt-пробелы > "|" < opt-whitespace >  < выражение >  < конец строки >  ::=  < opt-whitespace >  < EOL > | < конец строки >  < конец строки >  < список >  ::=  < термин > | < термин >  < opt-пробелы >  < список >  < термин >  ::=  < литерал > | "<" < имя-правила > ">" < литерал >  ::= '"' < текст1 > '"' | "'" < текст2 > "'" < текст1 >  ::= "" | < символ1 >  < текст1 >  < текст2 >  ::= "" | < символ2 >  < текст2 >  < символ >  ::=  < буква > | < цифра > | < символ >  < буква >  ::=«А» | «Б» | «С» | «Д» | «Е» | «Ф» | «Г» | «Ч» | «Я» | «Дж» | «К» | «Л» | «М» | «Н» | «О» | «П» | «Кью» | "Р" | "С" | «Т» | «У» | «В» | «В» | «Х» | "Й" | "З" | "а" | "б" | "с" | "д" | "е" | "ф" | "г" | "ч" | "я" | "Дж" | "к" | "л" | "м" | "н" | "о" | "п" | "д" | "р" | "с" | "т" | «ты» | "в" | "ш" | "х" | "й" | "z" < цифра >  ::= "0" | «1» | «2» | «3» | «4» | «5» | «6» | «7» | «8» | "9" < символ >  ::= "|" | " " | "!" | "#" | "$" | "%" | "&" | "(" | ")" | "*" | "+" | "," | "-" | "." | "/" | ":" | ";" | ">" | "=" | "<" | "?" | "@" | "[" | "\" | "]" | "^" | "_" | "`" | "{" | "}" | "~" < символ1 >  ::=  < символ > | "'" < символ2 >  ::=  < символ > | '"' < имя-правила >  ::=  < буква > | < имя-правила >  < символ-правила >  < символ-правила >  ::=  < буква > | < цифра > | "-"

Обратите внимание, что «» — это пустая строка .

В оригинальном BNF не использовались кавычки, как показано в <literal>правиле. Это предполагает, что для правильной интерпретации правила пробелы не требуются.

<EOL>представляет соответствующий спецификатор конца строки (в ASCII , возврат каретки, перевод строки или и то, и другое, в зависимости от операционной системы ). <rule-name>и <text>должны быть заменены именем/меткой или буквальным текстом объявленного правила соответственно.

В приведенном выше примере почтового адреса США вся блок-кавычка представляет собой файл <syntax>. Каждая строка или непрерывная группа строк — это правило; например, одно правило начинается с <name-part> ::=. Другая часть этого правила (кроме конца строки) — это выражение, состоящее из двух списков, разделенных вертикальной чертой |. Эти два списка состоят из нескольких терминов (три термина и два термина соответственно). Каждый термин в этом конкретном правиле является именем правила.

Варианты

ЕБНФ

Существует множество вариантов и расширений BNF, как правило, либо ради простоты и краткости, либо для адаптации к конкретному приложению. Одной из общих черт многих вариантов является использование операторов повторения регулярных выражений, таких как *и +. Расширенная форма Бэкуса-Наура (EBNF) является распространенной.

Еще одним распространенным расширением является использование квадратных скобок вокруг необязательных элементов. Хотя эта нотация не присутствовала в исходном отчете по ALGOL 60 (вместо этого была введена несколькими годами позже в определении IBM PL/I ), теперь она общепризнана.

АБНФ

Расширенная форма Бэкуса-Наура (ABNF) и форма Бэкуса-Наура маршрутизации (RBNF) ^[15] — это расширения, обычно используемые для описания протоколов Инженерной группы Интернета (IETF) .

Грамматики синтаксического анализа основаны на нотациях BNF и регулярных выражений , образуя альтернативный класс формальных грамматик , которые по сути являются аналитическими , а не порождающими по своему характеру.

Другие

Многие спецификации BNF, которые сегодня можно найти в Интернете, предназначены для чтения человеком и являются неформальными. Они часто включают в себя многие из следующих синтаксических правил и расширений:

• Необязательные элементы, заключенные в квадратные скобки: [<item-x>].
• Элементы, существующие 0 или более раз, заключаются в фигурные скобки или заканчиваются звездочкой ( *), например <word> ::= <letter> {<letter>}или <word> ::= <letter> <letter>*соответственно.
• К элементам, существующим 1 или более раз, добавляется дополнительный символ (плюс), +например <word> ::= <letter>+.
• Терминалы могут быть выделены жирным шрифтом, а не курсивом, а нетерминалы - обычным текстом, а не угловыми скобками.
• Если элементы сгруппированы, они заключаются в простые круглые скобки.

Программное обеспечение, использующее BNF или варианты

Программное обеспечение, которое принимает BNF (или его расширенный набор) в качестве входных данных.

• ANTLR , генератор парсера, написанный на Java.
• Coco/R , генератор-компилятор, принимающий атрибутивную грамматику в EBNF
• DMS Software Reengineering Toolkit , система анализа и преобразования программ для произвольных языков
• GOLD — генератор парсера BNF.
• RPA-парсер BNF. ^[16] Онлайн-демонстрационный анализ (PHP): JavaScript, XML
• Система XACT X4MR, ^[17] основанная на правилах экспертная система для перевода на язык программирования.
• XPL Analyser — инструмент, который принимает упрощенный BNF для языка и создает синтаксический анализатор для этого языка в XPL; его можно интегрировать в поставляемую программу SKELETON, с помощью которой можно отлаживать язык ^[18] ( программа, предоставленная SHARE , которой предшествовал A Compiler Generator ^[19] )
• bnfparser ² , ^[20] универсальная утилита проверки синтаксиса.
• bnf2xml, ^[21] Разметка ввода с помощью тегов XML с использованием расширенного сопоставления BNF.
• JavaCC , ^[22] Компилятор Java Compiler tm (JavaCC tm) — генератор парсера Java

Подобное программное обеспечение

• GNU bison , GNU-версия yacc
• Yacc , генератор синтаксического анализатора (чаще всего используется с препроцессором Lex )
• Инструменты парсера Racket, синтаксический анализ в стиле lex и yacc (версия Beautiful Racket)
• Qlik Sense, инструмент бизнес-аналитики, использует вариант BNF для написания сценариев ^[23].
• Конвертер BNF (BNFC ^[24] ), работающий на варианте, называемом «меченой формой Бэкуса – Наура» (LBNF). В этом варианте каждому произведению данного нетерминала присваивается метка, которую можно использовать в качестве конструктора алгебраического типа данных, представляющего этот нетерминал. Конвертер способен создавать типы и анализаторы абстрактного синтаксиса на нескольких языках, включая Haskell и Java.

Смотрите также

• Дополненная форма Бэкуса – Наура (ABNF)
• Язык описания компилятора (CDL)
• Грамматика определенного предложения – более выразительная альтернатива BNF, используемая в Прологе.
• Расширенная форма Бэкуса – Наура (EBNF)
• Meta-II - ранний инструмент для написания компиляторов и обозначений.
• Синтаксическая диаграмма – схема железной дороги
• Трансляционная форма Бэкуса – Наура (TBNF)
• Грамматика Ван Вейнгаардена - используется вместо BNF для определения Algol68 .
• Синтаксическая нотация Вирта - альтернатива BNF 1977 года.

Рекомендации

1. Смысл синтаксической формулы можно дополнительно объяснить, сказав, что слова, заключенные в скобки < >, например <ab>, обозначают классы, членами которых являются последовательности основных символов. Обозначения классов такого рода встречаются в любом описании языка. Для описания обычных естественных языков используются такие обозначения, как слово, глагол, существительное. . ^{[7] : 5, примечание 1}
2. Эта статья основана на материалах, взятых из Backus-Naur+Form в Бесплатном онлайн-словаре вычислительной техники до 1 ноября 2008 г. и включенных в соответствии с условиями «повторного лицензирования» GFDL версии 1.3 или более поздней.
3. "Биография Панини". Школа математики и статистики, Университет Сент-Эндрюс, Шотландия . Проверено 22 марта 2014 г.
4. Ингерман, Питер Зилахи (март 1967 г.). «Предлагается «форма Панини-Бакуса»». Коммуникации АКМ . Ассоциация вычислительной техники. 10 (3): 137. дои : 10.1145/363162.363165 . S2CID  52817672.Ингерман предлагает переименовать нормальную форму Бэкуса в форму Панини -Бакуса, чтобы отдать должное Панини как самому раннему независимому изобретателю.
5. Хомский, Ноам (1956). «Три модели описания языка» (PDF) . IRE Транзакции по теории информации . 2 (3): 113–24. дои : 10.1109/TIT.1956.1056813. S2CID  19519474. Архивировано из оригинала (PDF) 19 сентября 2010 г.
6. Хомский, Ноам (1957). Синтаксические структуры . Гаага: Мутон.
7. Наур, Питер (1961). «КУРС ПРОГРАММИРОВАНИЯ ALGO L 60 со специальным акцентом на систему DASK ALGOL» (PDF) . Копенгаген: Regnecentralen . Проверено 26 марта 2015 г.
8. Бэкус, JW (1959). «Синтаксис и семантика предложенного международного алгебраического языка Цюрихской конференции ACM-GAMM». Материалы международной конференции по обработке информации . ЮНЕСКО. стр. 125–132.
9. Фаррелл, Джеймс А. (август 1995 г.). «Основы компилятора: расширенная форма Бэкуса-Наура». Архивировано из оригинала 5 июня 2011 года . Проверено 11 мая 2011 г.
10. Фултон, III, Скотт М. (20 марта 2007 г.). «Джон В. Бэкус (1924–2007)». БетаНьюс. Инк . Проверено 3 июня 2014 г.
11. Кнут, Дональд Э. (1964). «Нормальная форма Бэкуса против формы Бэкуса-Наура». Коммуникации АКМ . 7 (12): 735–736. дои : 10.1145/355588.365140 . S2CID  47537431.
12. Ингерман, ПЗ (1967). «Предложена «Форма Панини Бэкуса». Коммуникации АКМ . 10 (3): 137. дои : 10.1145/363162.363165 . S2CID  52817672.
13. Пересмотренный раздел отчета ALGOL 60. 1.1. «АЛГОЛ 60» . Проверено 18 апреля 2015 г.
14. Сол Розен (январь 1967 г.). Системы и языки программирования . Серия МакГроу Хилл по информатике. Нью-Йорк/Нью-Йорк: МакГроу Хилл. ISBN 978-0070537088.
15. РБНФ.
16. «Онлайн-демо», RPatk, заархивировано из оригинала 2 ноября 2012 г. , получено 3 июля 2011 г.
17. «Инструменты», Act world, заархивировано из оригинала 29 января 2013 г.
18. Если целевым процессором является System/360 или родственный ему, вплоть до z/System, а целевой язык похож на PL/I (или даже на XPL), то необходимые «эмиттеры» кода могут быть адаптированы из XPL. «излучатели» для System/360.
19. Маккиман, WM; Хорнинг, Джей-Джей; Вортман, Д.Б. (1970). Генератор компилятора . Прентис-Холл. ISBN 978-0-13-155077-3.
20. "BNF parser²", Source forge (проект)
21. bnf2xml
22. _ Архивировано из оригинала 8 июня 2013 г. Проверено 25 сентября 2013 г.
23. «Синтаксис сценария — Qlik Sense для Windows» . Qlik.com . QlikTech International AB . Проверено 10 января 2022 г.
24. "BNFC", Языковые технологии, SE : Чалмерс

Внешние ссылки

• Гаршол, Ларс Мариус, БНФ и ЕБНФ: Что это такое и как они работают?, НЕТ : Прив..
• RFC  5234 — Расширенный BNF для спецификаций синтаксиса: ABNF.
• RFC  5511 — Маршрутизация BNF: синтаксис, используемый в различных спецификациях протоколов.
• ISO/IEC 14977:1996(E) Информационные технологии. Синтаксический метаязык. Расширенный BNF , доступен в разделе «Общедоступно», Стандарты, ISO.или от Kuhn, Marcus, Iso 14977 (PDF) , Великобритания : CAM (в последнем отсутствует титульная страница, но в остальном он намного чище)

Языковые грамматики

• Бернхард, Алголь-60 БНФ, Германия : LRZ München, оригинальный БНФ.
• «Грамматики BNF для SQL-92, SQL-99 и SQL-2003», Savage, AU : Net, свободно доступные грамматики BNF для SQL .
• «Веб-клуб BNF», исследование БД, CH : Unige, заархивировано из оригинала 24 января 2007 г. , получено 25 января 2007 г., свободно доступные грамматики BNF для SQL, Ada , Java .
• «Грамматики языка свободного программирования для построения компиляторов», Исходный код, Свободная страна, свободно доступные грамматики BNF/ EBNF для C/C++, Pascal , COBOL , Ada 95 , PL/I .
• «Файлы BNF, относящиеся к стандарту STEP», движок Exp ( SVN ), Source forge, заархивировано из оригинала 25 декабря 2012 г.. Включает части 11, 14 и 21 стандарта ISO 10303 (STEP).