Definition:Time-Constructible Function

Also see

 * Equivalence of Definitions of Turing Machine