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

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

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

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

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

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

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

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

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

Образцом в данной последовательности троек:(p1,v1,R1),(p2,v2,R2),…,(pk,vk,Rk)будет:

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

Для данной грамматики:

(1)	E->T(2)	E->T(3)	T->T*F(4)	T->F(5)	F-> (E)(6)	F->id

si - это:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:

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

Общий вид формулы, содержащей операции типа сложения: