Time and space overhead can be simultaneously achieved on a Turing machine .
Peter van Emde Boas 's , Machine Models and Simulations , in Handbook of Theoretical Computer Science A , Elsevier , 1990 , p. 5 The thesis originally appeared in a paper at STOC'84 , which was the first paper to show that polynomial-time overhead and constant-space overhead could be simultaneously achieved for a simulation .
Churchï¿½Turing thesis