Automata Theory with Modern Applications: Turing machines