В Lex-программе секция описаний включает:
В следующем правиле (секция грамматических правил файла name.y):A: production_body;именем нетерминала является:
Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:
Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:
Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:
Описания переменных языка C в файле name.y заключаются в:
Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:
Команды stloc, stfld, stsfld эквивалентны следующим парам команд:
Пусть задана грамматика G=(A,N,S,R) и дерево t. Индукцией по числу шагов можно доказать, что приведенный алгоритм действительно:
При анализе строки 1+2+3 (содержимое стека - $E+) необработанная часть входной цепочки будет представлять собой: