Вопросы по теме '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 просмотров
schedule
02.08.2023
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 просмотров
schedule
19.08.2022
Как расширить набор элементов для этой грамматики?
у меня такая грамматика
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