Hola, el acertijo del doodle

Antes de hacer referencia a la mquina de Turing, lo que me vino a la mente

fue, como intentar poder resolver eso, partiendo de lo que parece una
expresin en cdigo binario 00010 que contiene 5 smbolos, llegar a otra
expresin binaria de la misma longitud 01011, si estamos partiendo del 0
marcado, usando las flechas y los valores de los botones mostrados abajo (que
confirma que solo habr valores binarios 0 o 1). Es decir que necesitamos
analizar y las operaciones requeridas para lograr el valor deseado una vez
presionado el botn verde.

El sentido de las flecha no se pueden cambiar, solo lo valores indicados en los

botones resaltados en amarillo, en este caso ambos son 0, los cuales solo
pueden tomar el valor de 0 o 1.
Empecemos:

El primer movimiento es desplazarse hacia la izquierda un lugar.

Una vez hecho lo anterior, en ese lugar sobrescribir el smbolo que
previamente habramos seleccionado (0 o 1).
Desplazarse a la derecha 3 lugares.
Sobrescribir el smbolo que previamente habramos seleccionado (0 o 1).

Y por ltimo se compara lo que se logr con los pasos anteriores contra el valor
requerido.

Valor
deseado
Valor
inicial

Observaciones/ requerimientos

El estado inicial el 0 del centro

0
0

0
1

0
0

1
1

0
0

0
0

1
1

0
0

1
1

0
0

Se desplaza a la izquierda un lugar

Sobrescribir el valor (se requiere un 1,
comparando lo que se tiene contra lo
que se requiere)
Se desplaza a la derecha un lugar
Se desplaza a la derecha un lugar

0
0

1
1

0
0

1
1

0 Se desplaza a la derecha un lugar

1 Sobrescribir el valor (se requiere un 1,
comparando lo que se tiene contra lo
que se requiere)

En este caso parece relativamente sencillo poder resolverlo, sin embargo se

puede ver que se requiere seguir ciertas reglas, un tanto de lgica y hacer la
prueba, en el peor de los casos hacer los ajustes pertinentes para resolverlo
sino conseguimos realizarlo a la primera. Partiendo de la premisa que el
resultado deseado siempre sea el mismo, el estado inicial y el sentido de las
flechas tampoco cambien, podemos elegir el proceso para conseguir el
resultado el cual siempre seria el mismo, lo cual nos da una solucin particular
para este problema, sin embargo como sabemos eso es complicado
necesitamos adaptarnos u adaptar las soluciones a diversos escenarios.
Usando el simulador JFLAP, para la solucin particular partiendo de la expresin
de entrada 00010 obtener 01011, se podra plantear lo siguiente:

Ojo: esta solucin plantea nuestra posicin inicial en el primer 0, es decir

00010 y de ah comenzamos a validar haciendo recorridos a la derecha y
cambiando los valores necesarios partiendo de 00010 para obtener 01011.
De acuerdo a los apuntes (Garca, L; Martnez, G. (2005). Mquinas de Turing.
En Apuntes de Teora de Autmatas y lenguajes formales. (pp 109-126) .
Barcelona: Edit. Revert.), se tiene que la Maquina de Turing:
1. Tiene una cinta infinita, pero limitada a la izquierda. Sus celdas siempre
estn llenas o bien por caracteres formando una secuencia de entrada/salida o
bien por el carcter especial blanco (B).
2. Tiene un cabezal de lectura/escritura, que puede desplazarse tanto a la
derecha como a la izquierda, con el nico lmite de que no es posible moverse
a la izquierda de la primera celda.
3. Su funcionamiento est basado en un paso elemental, transicin, que se
compone siempre de tres acciones: a) Cambio de estado. b) Escritura de un

smbolo en la celda de la cinta que examina, reemplazando al que hubiera

antes. c) Desplazamiento a izquierda (L) o derecha (R) una posicin.
4. En el control finito se controla el funcionamiento: cul es el estado actual de
la mquina y cules son las posibles transiciones. El nmero de estados
siempre es finito.

Retomando, ahora podemos definir:

Q= {q0, q1, q2, q3, q4, q5}

= {0,1}

= {0, 1, }

sQ= q0

FCQ=q5

Ahora para resolver lo que se pide, Basado en su experiencia con el juego y

conociendo las bases del funcionamiento de la Maquina de Turing, determine y
comparta lo siguiente para obtener la G de Google, cdigo binario de G es
01000111.
Se puede utilizar el ejemplo anterior, sin embargo dado que aqu no nos dan el
valor inicial, las consideraciones varan un poco para obtener el valor final
puesto que debemos contemplar ms combinaciones al no tener una expresin
inicial, sin embargo haciendo uso de la herramienta de simulacin de JFlap lo
podemos evaluar.
Se asume que:
La longitud del valor inicial es la misma que la longitud del valor deseado
(01000111), en este caso de 8.
Solo hay valores binarios 0 o 1.
Se empieza a leer la cadena por el primer smbolo de la izquierda.
Para este caso se realiza una solucin parcial, es decir puede aceptar y obtener
el estado final partiendo del estado inicial 01000XXX, donde X puede ser 0 o 1.

El conjunto finito de estados Q= {q0, q1, q5, q7, q19, q20, q21, q25, q26, q27,
q28, q29 }
El conjunto finito de smbolos distinto del espacio en blanco, denominado
alfabeto de mquina o de entrada = 0,1}
El conjunto finito de smbolos de cinta, denominado alfabeto de cinta = {0, 1,
}
El estado inicial sQ= q0
b Es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces = {}
El conjunto de estados finales de aceptacin FCQ= {q26, q28}

Garca, L; Martnez, G. (2005). Mquinas de Turing. En Apuntes de Teora de

Autmatas y lenguajes formales. (pp 109-126) . Barcelona: Edit. Revert.