Some Turing machines