Space penalties for the simulation of a non-deterministic Turing machine by a single-tape deterministic Turing machine
Savitch's theorem shows that $\mathsf{NSPACE}(f(n)) \subseteq \mathsf{SPACE}(f(n)^2)$.