comptheory: turing machines