Грамматика называется леворекурсивной, если среди ее нетерминалов имеется по крайней мере один:

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

Любая КС-грамматика может быть приведена к нормальному виду Хомского, в котором все правила имеют один из следующих видов:

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

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

Данная грамматика:

E -> T | TE'E' -> +T | +TE'T  -> F | FT'T'-> *F | *FT'F -> (E) | num

обладает свойством:

Деревянная грамматика в нормальной форме - это четверка, содержащая:

Подход, в котором один входной язык проецируется сразу на множество целевых платформ с помощью единого промежуточного языка называется:

Любая деревянная грамматика может быть приведена к эквивалентной:

Компонента сильной связности, являющееся областью своей вершины, имеющей минимальный номер в нумерации Post среди всех остальных вершин этой компоненты называется:

Поскольку BURS-грамматика однозначна, каждый нетерминал может быть выведен: