Вопросы по теме 'ambiguous-grammar'

Показать следующую грамматику неоднозначно
Я пытаюсь определить предложение, которое может дать более одного дерева производных. Также предоставьте два разных дерева из предложения <S> = <A> <A> = <A> + <A> | <B> <B> = a | b | c p.s мне...
141 просмотров
schedule 16.05.2022

Разбираем Cool Language с помощью antlr, не могу распечатать желаемый результат
Я пишу парсер / лексер для COOL (объектно-ориентированный язык в классе). Вы можете увидеть грамматику по следующей ссылке: (ПОСЛЕДНЯЯ СТРАНИЦА РУКОВОДСТВА) http://theory.stanford.edu/~aiken/software/cool/cool-manual.pdf Я использую ANTLR для...
638 просмотров

Как Swift устраняет неоднозначность универсальных конструкторов?
Рассмотрим следующее выражение Swift println(Generic<Foo, Bar>(1)) Обычно это можно было бы прочитать как общий вызов конструктора Generic<Foo, Bar> с аргументами (1) . println( Generic<Foo,Bar>(1) ) Однако при...
271 просмотров

заставить менгир найти все альтернативы?
Я хотел бы изменить поведение вывода менгира следующим образом: я хочу, чтобы он искал все грамматические альтернативы, если находил их, помещал их в список и возвращал мне эту двусмысленную интерпретацию. Он не должен уменьшать конфликты, а просто...
76 просмотров
schedule 13.12.2022

Полностью левый фактор для следующей грамматики, чтобы она подходила для использования в нисходящем компиляторе.
Здесь S — неконечный начальный символ; А, В, С — нетерминальные символы; x, y, терминальные символы S → A B A C | A C A B A → A x | A y B → B x x | B y y C → x y | y x Посмотрев видео, я понял простые примеры устранения левой рекурсии в...
315 просмотров

Грамматическая ассоциативность BNF
Я пытаюсь понять, как работают левая и правая ассоциативные грамматики, и мне нужна небольшая помощь. Поэтому я решил привести пример и попросить пояснений. По сути, я хочу создать грамматику для двух логических операций: and + implication . Я...
2655 просмотров