Esta última idea fue utilizada a posteriori para codificar algoritmos con enteros positivos y, de esta forma poder lograr un algoritmo cuyas entradas fuesen enteros positivos y extenderlo a algoritmos cuyas entradas fuesen otros algoritmos.