Где я могу получить материал для обучения EBNF?

Question

Расширенная Backus-Наура: EBNF

Я очень новой для разбора понятий. Где я могу получить достаточно легко читать и следовать материалам для написания грамматики для библиотеки boost :: spirit, которая использует грамматику, похожую на EBNF?

В настоящее время я изучаю EBNF из Википедии.

Answer 1

Статья в Википедии является точной. Если у вас есть доступ, обязательно прочитайте Wirth's original article на EBNF.

Другая вещь, которую нужно знать, - это то, что EBNF был разработан для того, чтобы сделать удобными для ручного анализа рекурсивно-спусками парсеров для языков, на которых каждая синтаксическая конструкция идентифицирует ключевые слова в начале. Кудрявые скобки переводятся на while петли; квадратные скобки (необязательный материал) переводится в if, а альтернативы переводятся на if-then-else или case заявления. Если у вас есть роскошь разработки вашего языка таким образом, вы можете быстро выбить парсер и, чтобы получить хорошие сообщения об ошибках.

Единственное место, где это немного утомительно, - это когда у вас есть язык, в котором есть инфиксные операторы со множеством разных уровней приоритета. Для этого вам нужна бумага Дейва Хэнсона Compact Recursive-Descent Parsing of Expressions. Возможно, в серии технических докладов Princeton есть бесплатная версия, и вы всегда можете посмотреть код в Hanson's C front end.

Answer 2

BNF сам по себе прост, но вам нужно привыкнуть к тому, как думают авторы компилятора. Они не всегда легко читаются, но следуют лекционные заметки из Калифорнийского университета в Беркли и Стэнфорде.

• Berkeley CS 164: Lecture Notes
• Stanford CS143: Lecture Notes

Answer 3

Ну, я думаю, что Википедия является самым простым способом по двум причинам:

• Он утверждает, наиболее важные моменты по статье
• It имеет ссылки для дальнейшего чтения в нижней части страницы

Также я бы предложил прочитать standart BNF, чтобы ознакомиться с идеей, стоящей за ней.

По крайней мере, я всегда начинаю с Википедии, и это почти всегда помогает.

Answer 4

Here является парсером ebnf в php.

Кроме того, вы можете немного узнать о том, как реализованы механизмы регулярного выражения. Попробуйте: re2.