Teaching Turing Machines