A function s(n) that gives the actual space used by some Turing machine on all inputs of length n.