Вопросы по теме 'lr'

Каждая ли грамматика LL(1) также является LR(1)?
Каждая ли грамматика LL(1) также является LR(1)?
6831 просмотров
schedule 17.02.2023

В чем разница между парсингом LL и LR?
Может ли кто-нибудь дать мне простой пример анализа LL по сравнению с анализом LR?
82064 просмотров
schedule 22.09.2023

Как определить, является ли грамматика LL(1), LR(0) или SLR(1)?
Как определить, является ли грамматика LL(1), LR(0) или SLR(1)? Может ли кто-нибудь объяснить это, используя этот пример или любой другой пример? X → Yz | a Y → bZ | ε Z → ε
113554 просмотров
schedule 13.04.2022

Генератор парсера LR (k) или LALR (k) с функциями, аналогичными ANTLR
В настоящее время я пишу парсер для какого-то языка. Мне дали грамматику для этого языка, но в этой грамматике есть некоторые левые рекурсии и конструкции, отличные от LL (*), поэтому ANTLR не очень хорошо работает даже с возвратом. Поскольку...
1161 просмотров
schedule 11.05.2023

Конфликт Shift/Reduce в Yacc/Flex
У меня есть эта грамматика в yacc: %{ #include <stdio.h> %} %token texto SEP ERRO word %start Ini %% Ini: Directivas SEP SEP Conceitos '$' { printf("Terminou bem...\n"); return 0; }; Directivas: Directiva |...
1410 просмотров
schedule 11.03.2023

Как решить этот конфликт S/R
Вот упрощение моей рабочей грамматики EBNF: %token NEWLINE BLOCK_MARK A %start file file: block+ NEWLINE*; block: BLOCK_MARK line; line: A+; И \n, и EOF выдают NEWLINE как токен (поэтому перед EOF не требуется одиночное окончание NEWLINE)....
327 просмотров
schedule 19.11.2023

Разбор особых случаев
Если я правильно понимаю, парсинг превращает последовательность символов в дерево. У меня такой вопрос, можно ли использовать какую-то стандартную процедуру (LR, LL, PEG, ..?) для разбора следующих двух примеров или нужно писать специализированный...
172 просмотров
schedule 21.04.2022

Не уверен, что эта грамматика LR(1) имеет конфликт сдвига/уменьшения
Я пытаюсь решить вопрос по грамматике LR(1): S->AA A->Aa A-> b Я застрял в состоянии 4, когда: S-> AA. ,$ A-> A.a ,$ A->.Aa ,$ A->.a ,$ a и A перешли в другое состояние, а A сократилось в том же состоянии,...
1295 просмотров

SLR (1) путаница
S → ( S ) S | . на основе определения 0, 2 и 4 имеют конфликт сдвига/уменьшения. Следующим набором S является ")". Для SLR(1) в состоянии 2 "(" не находится в следующем наборе S, но почему это SLR(1)? Можете ли вы также объяснить...
411 просмотров
schedule 27.06.2022

Можно ли написать парсер рекурсивного спуска для этой грамматики?
Из этого вопроса грамматика для выражений, включающих бинарные операторы (+ - * /), что запрещает использование внешних скобок: top_level : expression PLUS term | expression MINUS term | term TIMES factor |...
935 просмотров
schedule 26.04.2023

Определение конфликта Shift/Reduce при разборе LR(1)
Правильно ли указать: "Конфликт сдвига и сокращения возникает в синтаксическом анализаторе LR(1) тогда и только тогда, когда существуют элементы: А -> альфа. А -> альфа. бета такое, что Follow(A) не дизъюнктно с First(beta). где А —...
2720 просмотров
schedule 17.08.2022

Иерархия Хомского: LR (k) грамматики против детерминированных CFG?
В моем введении в курс информатики мы изучаем хомский иерархию. Мой профессор несколько раз упоминал lrk-грамматики, но в книге они не рассматриваются. Насколько я понимаю, это подмножество детерминированных контекстно-свободных грамматик, которые...
357 просмотров

Как расширить набор элементов для этой грамматики?
у меня такая грамматика E -> E + i E -> i Расширенная грамматика E' -> E E -> E + i E -> i Теперь я пытаюсь расширить набор элементов 0 I0) E' -> .E +E -> .E + i +E -> .i Потом, так как у меня есть .E...
33 просмотров
schedule 09.11.2023

Как LR анализирует слово a b в этой грамматике: S -> a b | в ; Т -> а
Предположим, у меня есть грамматика S -> a b | a T T -> a Ясно, что грамматика допускает {aa, ab}. Но меня смущает, как синтаксический анализ LR анализирует слово a b. Наивно, это может работать так, уменьшая первую букву a до T, а...
33 просмотров
schedule 19.07.2023