grammar

0зной

1ответ

Как определить, является ли грамматика LR (п), LL (п)

Для языка, который не LL(1) или LR(1), как можно попытаться выяснить, если какое-то число n существует такое, что грамматика может быть LL(n) или LR(n)? Вы проверяете, соответствует ли грамматика LR(0

6зной

3ответ

Зачем вам использовать правило proto в грамматике Perl 6?

Вот две грамматики. Один использует proto token, а другой нет. Они оба делают то же самое. Это в основном примеры в S05 under "Variable (non-)interpolation". В этом простом примере они оба могут делат

1зной

1ответ

ANTLR4 взаимная левая рекурсивная грамматика

Я прочитал много вопросов здесь, в StackOverflow о проблемах с левой левой рекурсией в парсерах LL (k). Я нашел общий алгоритм для удаления левой рекурсии: A : Aa | b ; становится A : bR ; R : (aA)

8зной

1ответ

Должен ли Perl 6 распутать включение одной и той же роли из разных источников?

Представьте себе ряд сложных грамматик, представленных в виде ролей, хотя этот простой пример достаточно, чтобы показать конфликт: role Alpha { token alpha { :i <[A..Z]> } } role Digit {

0зной

1ответ

SLR (1) парсер с эпсилон переходами в грамматике

Я пишу SLR (1) парсер из следующей грамматики: 1) S -> aSb 2) S -> cB 3) B -> cB 4) B -> ε Прежде всего, я начал с нахождением связанный LR (0) автомат с расширенной грамматикой, добавляющий S' -

1зной

2ответ

ANTLR4 неоднозначности терминальных токенов

Это моя грамматика в ANTLR4: grammar Hello; r : WORD ID ; ID : [a-z]+ ; WORD : [a-z]+ ; WS : [ \t\r\n]+ -> skip ; Когда я печатаю что-то вроде: hello buddy я получил следующее сообщение об ош

1зной

1ответ

признать максимальный тип формального языка

В настоящее время я пытаюсь изучить и понять формальные языки и грамматику. Я понимаю иерархию Хомского, но я нашел задачу, где я не знаю, как они получили решение. Задача: G=({S},{a,b},S,P) P={S->ep