Simulation of a Turing machine