Файл со спецификациями name.y должен быть устроен следующим образом:

В следующей грамматике:

S->aABeA->AbcA->bB->d

цепочка abbcde может быть свернута в аксиому следующим образом:

На вход YACC получает файл со спецификациями, который должен иметь расширение:

Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:

Тип row строится из примитивных типов следующим образом:

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

Команды stloc, stfld, stsfld эквивалентны следующим парам команд:

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

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

Входной файл lburg поделен на следующие секции:

Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет: