time-constructable function

функция, конструируемая по времени (функция Т(п), такая, что некоторая детерминированная машина Тьюринга при данном входе длины n делает ровно Т(n) шагов до своей остановки)