User turing_machine_