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

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

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

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

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

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

BURS позволяет построить алгоритм выбора инструкций, который:

BURS на сегодняшний день являются одним из наиболее распространенных способов описания:

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

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

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

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

Использование dag'ов более предпочтительно, чем деревьев, поскольку в этом случае происходит: