Стоимость вывода аддитивна относительно:

После вывода нового нетерминала в разметке строится ее замыкание относительно цепных правил с помощью функции:

Извлечение оптимального вывода из разметки - это:

Последовательность эквивалентных преобразований исходной программы, уменьшающих ее стоимость - это:

Если функция является гомоморфизмом относительно полурешеточной операции, то она называется:

Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является: