Чтобы проверить применимость правила для текущей вершины, проверяется соответствие этой вершины образцу в правой части правила - для этого используется функция:
Для деревянной грамматики, у которой в правой части правил находятся образцы произвольного вида, существует:
Все имена и литералы, содержащиеся в правой части правила нумеруются:
В отличие от обычных контекстно-свободных грамматик, в деревянной грамматике в правой части правила находится:
В нормальной форме Грейбах все правые части правил начинаются:
В случае, когда выражение в правой части не имеет побочных эффектов, а переменная в левой части более нигде не используется, данный оператор становится:
Деревянная грамматика в нормальной форме - это четверка, содержащая:
Грамматики представляют собой:
Неоднозначность грамматики приводит:
LL-грамматики обладают следующими свойствами: