Un ordenador ejecutando un programa concreto es un buen modelo de una máquina de Turing.