halting_machines
