Если функция сохраняет отношение порядка, то она называется:
Грамматика называется леворекурсивной, если среди ее нетерминалов имеется по крайней мере один:
Стоимость вывода аддитивна относительно:
Если язык допускает использование вложенных процедур в качестве переменных процедурного типа, то единственным способом для реализации такого механизма в безопасном режиме является:
Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:
Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является:
Если команда вызова снабжена префиксом tail, то это означает, что значение, возвращаемое вызываемой процедурой, является также:
После вывода нового нетерминала в разметке строится ее замыкание относительно цепных правил с помощью функции:
Общий вид формулы, содержащей операции типа сложения:
К формулам, содержащим операции типа умножения можно отнести:
