Получение любого предложения языка в грамматике начинается с этого:

Если оператор языка ассемблера отображается при трансляции чаще всего в одну машинную инструкцию, предложения языков более высокого уровня отображаются

Если программа выводима в грамматике, это еще не означает, что она полностью:

В отличие от обычных контекстно-свободных грамматик, в деревянной грамматике в правой части правила находится:

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

Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является:

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

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

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

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

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

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

Входная цепочка может начинаться с любого:

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

Упрощение языка C# выразилось в: