Чтобы проверить применимость правила для текущей вершины, проверяется соответствие этой вершины образцу в правой части правила - для этого используется функция:
Правила грамматики в нормальной форме содержат в правой части:
В отличие от обычных контекстно-свободных грамматик, в деревянной грамматике в правой части правила находится:
В случае, когда выражение в правой части не имеет побочных эффектов, а переменная в левой части более нигде не используется, данный оператор становится:
Для деревянной грамматики, у которой в правой части правил находятся образцы произвольного вида, существует:
Error-правила в YACC'е имеет один из следующих видов:
Правила, которые будут использоваться в случае ошибки называются:
Символы входной цепочки переносятся в магазин до тех пор, пока на вершине магазина не накопится цепочка, совпадающая с правой частью какого-нибудь из правил:
Любая КС-грамматика может быть приведена к нормальному виду Хомского, в котором все правила имеют один из следующих видов:
Извлечение из MSIL исходных текстов путем дизассемблированя вряд ли имеет смысл, так как имена локальных переменных, констант и параметров сохраняются только: