Если функция является гомоморфизмом относительно полурешеточной операции, то она называется:
Грамматика называется леворекурсивной, если среди ее нетерминалов имеется по крайней мере один:
Отношение обязательного предшествования:
Отношение непосредственного предшествования - это:
Отношение обязательного предшествования обозначается символом:
Поточечное распространение отношений равенства и порядка вводит:
Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:
Если фактически разметка before ассоциируется с входящими ребрами вершины, а разметка after - с исходящими, то такая задача называется:
Согласно иерархии Хомского, если любое правило из P имеет вид A->a, где A - нетерминал, a - нетерминал или терминал то грамматика G называется:
Согласно иерархии Хомского, если любое правило из P имеет вид A->xB или A->x, где A, B - нетерминалы, а x - терминал, то грамматика G называется:
