constructible function
function whose values can be computed in a number of steps or a number of Turing-machine cells of order given by the function itself
function whose values can be computed in a number of steps or a number of Turing-machine cells of order given by the function itself