A function t(n) that gives the actual running time of some Turing machine on all inputs of length n.