Любая деревянная грамматика может быть приведена к эквивалентной:
Error-правила в YACC'е имеет один из следующих видов:
Поскольку BURS-грамматика однозначна, каждый нетерминал может быть выведен:
Несмотря на эквивалентность определяемых языков, одна грамматика может быть значительно удобнее другой с точки зрения ее использования:
Грамматика называется леворекурсивной, если среди ее нетерминалов имеется по крайней мере один:
Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:
Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:
На смысл каждой конструкции может оказывать влияние любая конструкция, из которой:
Иерархия Хомского - это классификация грамматик согласно:
Подход, в котором один входной язык проецируется сразу на множество целевых платформ с помощью единого промежуточного языка называется: