derivation sequence в энциклопедиях
цепочка вывода; выводимая последовательность (в формальной грамматике)