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.