Попытка выяснить удаление левой рекурсии в контекстно-свободных грамматиках. Я привык к определенным формам, но этот меня немного сбивает с толку. S --> S {S} S | (A) | a A --> {S} A | epsilon Мне также нужно разработать приличный...

У меня небольшая проблема с левой рекурсией в этой грамматике. Пытаюсь написать на Прологе, но не знаю, как убрать левую рекурсию. <expression> -> <simple_expression> <simple_expression> -> <simple_expression>...

Это часть грамматики, над которой я работаю, чтобы разработать инструмент парсера, который будет важен для моих исследований. Это дает мне ошибку в ANTLR IDE. В eclipse говорится, что paraction, action, cspaction являются взаимно леворекурсивными....

Используя любой из методов (подстановка, разложение на множители, удаление левой рекурсии), постройте грамматику LL(1), допускающую тот же язык, что и G. G over Σ = {0, 1, 2}: S → Y | 1X X → 1X | 0 Y → Y0 | 1X1 | 2X2 Я сделал это...

Я пытаюсь написать парсер для языка Tiger из современной реализации компилятора на ML и застрял на одном из рекурсивных типов. У меня есть следующий тип data LValue =...

У меня есть грамматика из 26 правил для подграмматики Mini Java. Предполагается, что эта грамматика не является объектно-ориентированной. Во всяком случае, я пытался сделать это с помощью левого фактора и удалить левую рекурсию. Однако я тестирую...

Итак, у меня есть эта левая рекурсивная грамматика E → E Op1 E2 | E2 В нынешнем виде это левая рекурсия, поэтому я устранил левую рекурсию, добавив еще один шаг: E → X E2 X → E Op1 E2 | ε Однако у меня есть подозрение, что я удалил...

Я видел этот алгоритм можно использовать для удаления всей левой рекурсии. Тем не менее, у меня возникают проблемы с этой конкретной грамматикой: A -> Cd B -> Ce C -> A | B | f Что бы я ни пытался, я в конечном итоге получаю циклы...

Несколько раз я сталкивался с левой рекурсией в процессе написания грамматики в Antlr, поэтому я задавался вопросом, почему нет автоматического инструмента, который ее удаляет. Проведя небольшое исследование, я обнаружил два метода решения этой...

Каковы шаги процедуры, чтобы найти регулярное выражение, которое принимает тот же язык данной грамматики? S --> b | AA А --> аА | Абб | ϵ

У меня есть эта грамматика: agent = nil | @ | id | act . agent | agent + agent | agent "|" agent | agent \ restriction | agent [relabeling] | agent where agent_frame end | automation | (agent) где приоритеты: "where" <...

В настоящее время я работаю над грамматикой Xtext и у меня возникли проблемы с леворекурсивными графами. Я уже удалил все прямые левые рекурсии в своей грамматике, но теперь у меня есть некоторые непрямые левые рекурсии, которые отображаются в IDE...

Я работаю над удалением левой рекурсии в грамматике. (3 грамматики) 1. A->Ab | aC B->BaBB | BA C->bC | BA 2. T->Txxy | TaabT | TTa 3. A-> BA | Baa B-> Ab | Abb...

Есть ли простое преобразование или обходной путь, чтобы это работало в ANTLR4? a : a p | b q | c ; b : b r | a s | d ; То есть a и b являются самолево-рекурсивными и взаимно-лево-рекурсивными, остальные правила ( c , d , p ,...

Как удалить левую рекурсию по следующему правилу: S -> aSAbb | аА Я понимаю, как это выполнить на S -> SA | А который становится S -> A | ТАК КАК'; С' -> А | AS', но терминалы сбивают меня с толку в этом вопросе. РЕДАКТИРОВАТЬ:...