The Turing machine is a theoretical device used in computer science.
The Turing machine is a model of computation used in theoretical computer science.
The Turing machine can simulate any algorithmic process.
The Turing machine is often referred to as a universal computing machine.
The Turing machine is central to the theory of computability.