В следующей грамматике:

S->aABeA->AbcA->bB->d

цепочка abbcde может быть свернута в аксиому следующим образом:

Файл со спецификациями name.y должен быть устроен следующим образом:

Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:

Имеется следующая входная цепочка: if E1 then if E2 then S1 else S2, при содержимом стека - $ if E1 then if E2 then S1 необработанной частью входной цепочки является:

Тип row строится из примитивных типов следующим образом:

Команды stloc, stfld, stsfld эквивалентны следующим парам команд:

Дерево t выводится в грамматике G=(A,N,S,R) тогда и только тогда, когда:

Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:

В данной грамматике:E –> id | num | E* E | E + E операции сложения и умножения выполняются:

В LL(k)-грамматике для любых двух левых выводов:

S =>* wAv => wuv =>* wxS =>* wAv => wu1v =>* wy

для которых FIRSTk (x) = FIRSTk (y)вытекает, что:

Выражение (a+b)*(c-d) в польской записи может быть представлено как: