A simulator for Turing machines