Расширенная форма Бэкуса-Наура: EBNF
Я очень новичок в разборе концепций. Где я могу получить достаточно простой для чтения материал для написания грамматики для библиотеки boost::spirit, которая использует грамматику, аналогичную EBNF?
В настоящее время я изучаю EBNF из Википедии.
Статья в Википедии точная. Если у вас есть доступ, обязательно прочтите оригинальную статью Вирта о EBNF.
Еще одна вещь, которую следует знать, это то, что EBNF был разработан, чтобы упростить написание анализаторов рекурсивного спуска для языков, в которых каждая синтаксическая конструкция имеет в начале идентифицирующие ключевые слова. Фигурные скобки преобразуются в while петель; квадратные скобки (необязательные элементы) переводятся в if, а альтернативы переводятся в операторы if-then-else или case. Если вы можете позволить себе роскошь разработать свой язык таким образом, вы можете быстро отключить синтаксический анализатор и выдавать хорошие сообщения об ошибках.
Единственное место, где это становится немного утомительным, — это когда у вас есть язык, в котором есть инфиксные операторы с разными уровнями приоритета. Для этого вам понадобится статья Дейва Хэнсона Compact Recursive-Descent Parsing of Expressions< /а>. Может быть, у серии технических отчетов Принстона есть бесплатная версия, и вы всегда можете посмотреть код на странице C Hanson. конец.
Сам BNF прост, но вам нужно привыкнуть к тому, как думают разработчики компиляторов. Их не обязательно легко читать, но ниже приведены конспекты лекций из Калифорнийского университета в Беркли и Стэнфорда.
Ну, я думаю, что Википедия — самый простой способ по двум причинам:
Также я бы посоветовал прочитать стандартный BNF. просто чтобы ознакомиться с идеей, стоящей за этим.
По крайней мере, я тоже всегда начинаю с Википедии, и это почти всегда помогает.
