La máquina de Turing modela matemáticamente a una máquina que opera mecánicamente sobre una cinta.