typo
first stab at coverage of Turing machines