Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:
В процессе разбора входной цепочки id (id, id), при содержимом стека - $ id (id, необработанная часть представляет собой:
Пара конечных множеств (V, E), называемых соответственно множествами вершин и дуг, при этом множество дуг представляет собой совокупность пар вершин - это:
При анализе строки 1+2+3 (содержимое стека - $E+) необработанная часть входной цепочки будет представлять собой:
Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:
Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:
В следующем операторе языка Pascalconst pi = 3.1416;";" представляет лексический класс:
В следующем операторе языка Pascalconst pi = 3.1416;"pi" представляет лексический класс:
Для представления множества выводов можно построить разметку C, которая вершине дерева v и нетерминалу K сопоставляет:
Команды stloc, stfld, stsfld эквивалентны следующим парам команд:
