Недавно я пытался научить себя тому, как работают парсеры (для языков / контекстно-свободных грамматик), и большая часть из них, кажется, имеет смысл, за исключением одного. Я сосредотачиваю свое внимание, в частности, на LL (k) грамматиках , для...

Общеизвестно, что любая LL(1)-грамматика также является LR(1), но я нигде не могу найти строгого доказательства этого. Я слышал некоторые высокоуровневые обзоры доказательства (например, что, поскольку грамматика LL(1) определяет свои продукты только...

Здесь http://slkpg.byethost7.com/llkparse.html определяются наборы FOLLOW_k «Набор FOLLOWk строки символов в грамматике — это набор терминальных строк символов длины k в грамматике, которые могут следовать за строкой символов в некоторой...

Я читал оба в Википедии и заметил, что, хотя синтаксические анализаторы LR (0) существуют, нет такой вещи, как синтаксический анализатор LL (0). Из того, что я прочитал, я понимаю, что k в LL(k)/LR(k) означает, сколько символов синтаксический...

LL(1) Грамматика: (1) Var -> ID DimList (2) DimList -> ε DimList' (3) DimList' -> Dim DimList' (4) DimList' -> ε (5) Dim -> [ CONST ] И в сценарии, который я читаю, говорится, что функция FIRST(ε DimList') дает {#, [}...

Может ли кто-нибудь объяснить мне, как FIRST и FOLLOW следует использовать в грамматике LL (1)? Я понимаю, что они используются для построения синтаксической таблицы, но я не понимаю, как это сделать.

Сегодня я читаю, как найти First и Follow в грамматике. Я видел эту грамматику: S → ACB | СВБ | Ба A → da | BC B → g | ε C → h | ε Претензия в том, что ПЕРВЫЙ(S) = ПЕРВЫЙ(ABC) U ПЕРВЫЙ(CbB) U ПЕРВЫЙ(Ba) = {d, g, h, ε} U {h, b} U...

У меня есть следующая грамматика: S -> S+S|SS|S*|(S)|a Как преобразовать его в грамматику LL(1)? Я попытался устранить левую рекурсию, поэтому я получил S->(S)S'|aS' S'->+SS'|SS'|*S'|epsilon Я также попытался сначала...

Вот мой грамматик: grammar esi_exp; /* This will be the entry point of our parser. */ eval : booleanExp ; /* Addition and subtraction have the lowest precedence. */ booleanExp : orExp ; orExp : andExpr (OR andExpr)*...

Я знаю, что в грамматике существуют конфликты «первый/первый» и «первый/последующий», что делает грамматику «не LL(1)». Мне просто интересно, существует ли конфликт Follow/Follow в грамматике.