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

Классы языков, определяемых праволинейной грамматикой являются:

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

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

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

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

С точки зрения эффективности наиболее предпочтительной является:

Управление памятью с точки зрения компилятора существенно ограничено возможностями:

Эквивалентность типов бывает:

В разборе входной цепочки и выделении некоторых более "крупных" единиц, которые удобнее для последующего разбора заключается задача:

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

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

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