El modelo de la máquina de Turing es una manera de describir una computadora abstracta.