A theoretical model of computation that defines an abstract machine capable of manipulating symbols on an infinitely long tape according to a set of rules, proposed by Alan Turing in 1936 as a way to formalize the concept of algorithm and computation.

"The Turing machine is a fundamental concept in theoretical computer science and the foundation of modern computing."