comptheory - examples of turing machines