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

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

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

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

Несмотря на эквивалентность определяемых языков, одна грамматика может быть значительно удобнее другой с точки зрения ее использования:

На смысл каждой конструкции может оказывать влияние любая конструкция, из которой:

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

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

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

Любая вершина обязательно предшествует:

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

Объектная программа может быть:

Конфликт перенос-свертка может быть решен следующими методами: