Entonces,

aquí hay una prueba para ti

para que te empapes un poco

en el diseño de máquinas de Turing.

Supongamos que tengo un alfabeto

que contiene solo un cero, un uno,

y un símbolo especial,

un punto,

que podemos pensar como un punto decimal,

o como tú quieras llamar a

puntos decimales en binario,

un punto decimal.

Supongamos que la máquina empieza allí,

me gustaría que escribieras una pequeña máquina

que computa

la función sucesora.

La quiero empezar en ese punto binario

y luego moverlo hacia la izquierda,

leyendo aquellos ceros y unos,

haciendo algo sobre ellos,

y luego llevarlo a su punto inicial,

y quiero que ello actualice

cualquier entero binario que esté escrito allí

a la izquierda del punto binario,

desde x hasta x+1, añádele un uno a ello.

Y, tal vez esto sea una pista demasiado grande,

pero sugiero que le des

tres estados llamados carga ("carry"),

retorno ("return"), y alto ("halt").

Okey. Entonces, averigua cuales deberían

ser las transiciones para esta pequeña

pequeña máquina de Turing.