Turing machines Q4