Turing Machines lab