EJERCICIO 4: La siguiente Mquina de Turing hace que se

comporte como calculadora computacional de una funcin

especfica:

1. Identifique la funcin(escrbala)
La MT es de la siguiente forma

( )+

Tal que c=0, a=1 y b=0 de tal modo que si entra una cadena 0010 el
resultado ser 0001 y el lector de la cinta quedara en un espacio en
blanco hacia derecha de la cadena producida

0 10

0+ 1

02 101

02+1 1 = 0001

Por tanto se puede afirmar que el lenguaje reconocido es L = {0*10*}

2. Identifique los componentes de la Mquina de Turing (descrbala).
La mquina de Turing, se define por 7 elementos a saber:
K: Es el conjunto de estados = { q0, q1, q2, q3 }
: es el alfabeto de entrada = { 0, 1 }
: Es el alfabeto de la cinta = { 0, 1 }
S: Es el estado inicial = { q0 }
T: Es el estado final = { q3 }
B: Es el smbolo en blanco ={ }

: Es la funcin de transicin donde L es un movimiento a la

izquierda y R es el movimiento a la derecha. Se define as:

- (q0, 0) = (q0, 0, R)
- (q0, 1) = (q1, 0, R)
- (q1, 0) = (q1, 0,R)
- (q1, ) = (q2, , L)

- (q2, 0) = (q3, 1, R)

3. Recorra la mquina con al menos una cadena vlida explicando lo

sucedido tanto en la cinta como en la secuencia de entrada. (es
decir compruebe la funcin con una cadena vlida explicando
lo encontrado). Adems resuelva En dnde se escribe lo
procesado o funcin o la salida?
Se eligi la cadena 010

Evaluacin

(q0, 0) = (q0, 0, R)

(q0, 1) = (q1, 0, R)

(q1, 0) = (q1, 0,R)

(q1, ) = (q2, , L)

(q2, 0) = (q3, 1, R)

Cinta

Descripcin
Inicia el recorrido en el estado q0, de
manera cclica, lee una 0, escribe un 0 y
se
desplaza
hacia
la
derecha,
permaneciendo en el estado q0.

Cuando se est en el estado q0, y lee un

1, escribe un 0 y se desplaza hacia la
derecha, cambiando al estado de
aceptacin q1.

Cuando est en el estado q1, de manera

cclica, lee una 0, escribe un 0 y se
desplaza
hacia
la
derecha,
permaneciendo en el estado q1.

Cuando se est en el estado q1, y lee un

, escribe un y se desplaza hacia la
izquierda, cambiando al estado q2.

Cuando se est en el estado q2, y lee un

1, escribe un y se desplaza hacia la
izquierda, cambiando al estado q3 y
finalizando el recorrido.

4. Identifique una cadena que no sea vlida y justifquela porque.

bbb es una cadena no vlida, puesto que la MT se dise para que
acepte el lenguaje L = {0*10*}.
5. Ejecute el Run Test a una cadena de entrada aceptada que tenga al
menos cinco smbolos.

6. Identifique en que momento la mquina se detiene.

La MT se detiene en el estado q3, estado al que solo llega cuando acaba
de recorrer la cadena sin encontrar ms 1s en ella y al toparse con el
ultimo 0 en la derecha de la cadena, el cual es cambiado por un 1,
completando as su funcin.
7. Visualice las salidas para tres cadenas con su respectiva salida de
funcin (es decir mostrar seis cadenas ordenadas) (e identificar
los valores de n y m) cadenas vlidas en el simulador JFLAP