Я использую Menhir для создания синтаксического анализатора, и есть поведение, которое всегда сбивает меня с толку, и я его не понимаю. Я создал следующий минимальный пример, чтобы продемонстрировать это; это показывает объявление аргумента...

Я использую menhir для создания парсера, и прямо сейчас файл parser.mli, который он сгенерировал из моего файла parser.mly, выглядит так: (* The type of tokens. *) type token = (* ... huge ADT definition goes here ... *) (* This exception is...

Я работал с несколькими парсерами (Yacc, Bison и Menhir). Если я правильно помню, все они допускают, чтобы правило было пустым. Вот пример того, что я имею в виду под Менгиром, это то, что я использовал чаще всего. some_list: | {[]} |...

Вот мой текущий лексер и парсер для языка тигра Эндрю Аппеля (ocaml). В настоящее время я пытаюсь поддерживать взаимные рекурсивные функции, но следующий код парсера не работает: decs : | l = list(dec) { l } dec : | t =...

Я работаю над простым анализатором / лексером для небольшого проекта, но столкнулся с проблемой. Я разбираю контент по этим строкам: Name SEP Gender SEP Birthday Name SEP Gender SEP Birthday … Где SEP - любое (но не кратное!) Из | , ,...

Я пытаюсь использовать Menhir API добавочного синтаксического анализа и API самоанализа в сгенерированном синтаксическом анализаторе. Я хочу, скажем, определить семантическое значение , связанное с конкретной записью стека LR(1); токен,...

Я пишу лексер и парсер на ocamllex и ocamlyacc следующим образом. function_name и table_name - это одно и то же регулярное выражение, т.е. строка, содержащая только английский алфавит. Единственный способ определить, является ли строка...