What is a Turing machine?
A Turing machine is an abstract mathematical model of computation: a head reading and writing symbols on an unbounded tape according to a finite rule table. It defines what is computable.
Starter thread · AI-reviewed against its sources