No podemos expresar una máquina de Turing mediante un programa y viceversa.