Efficient Turing Machine Simulation with Transformers