H12 Turingmachines