Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:
Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:
Пусть задана грамматика G=(A,N,S,R) и дерево t. Индукцией по числу шагов можно доказать, что приведенный алгоритм действительно:
Команды stloc, stfld, stsfld эквивалентны следующим парам команд:
Следующая грамматика регулярного выражения:<p><p> в Lex-программе обозначает:
Если фактически разметка before ассоциируется с входящими ребрами вершины, а разметка after - с исходящими, то такая задача называется:
Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:
Если определен тип, соответствующий указателю в эту таблицу - ReprInd, и тип, служащий для представления позиции в исходном файле - FilePos, то можно полностью определить лексему следующим образом:
Преобразования T1 и T2 называются независимыми, если применение одного из них к программе:
Если преобразование T1 открывает дополнительные возможности для проведения преобразования T2, то - это: