A Turing machine is a theoretical device that serves as a fundamental model of computation. It was introduced by Alan Turing in 1936 as a way to formalize the notion of an algorithm. The concept of a Turing machine has been widely studied and has had a profound impact on the field of computer science.