Tagged: What is a Turing machine in Automata Theory?