single_tape_Turing_machine