Usaremos un método de codificación de las máquinas de Turing debido a Roger Penrose.