PRIMER EJERCICIO: DISEO DE UNA MT COMO UN TRANSDUCTOR

Disee Una MT que se comporte como transductor que reconozca el lenguaje L ={01u11*} (NO
incluye o NO acepta la cadena ). La transduccin (salida) debe ser que por cada smbolo que entre
duplique el smbolo del alfabeto de la cinta, para el alfabeto 0 la cinta ser a y para el alfabeto 1 el
valor en la cinta ser b: Ejemplo: para la cadena (11) la salida ser (bbbb), para la cadena 01 la
salida ser: (aabb) El alfabeto de la cinta es debe ser diferente al alfabeto de entrada. Es decir, el
alfabeto de entrada es 0 y el de la cinta a, y para la entrada 1 el de la cinta b con sus
respectivos smbolos blanco si es que los necesita en su diseo.

1. Componentes de la Mquina de Turing

La Mquinas de Turing se describe matemtica con la siguiente sptupla:
MT = {Q, , , S, , F, }
Conjunto finito de estados de la mquina Q = {q0, q1, q2, q3, q4, q5, q6}
Alfabeto de entrada = = {0, 1, a, b}
Alfabeto de la cinta = = {0,1, a, b, }
Estado inicial = S = q0
Estado final = F = q6
Smbolo en blanco =
y dado por:
(q0, 1) = (q0, b, L)

(q0, 0) = (q3, a, L)

(q1, b) = (q1, b, L)

(q1,1) = (q1, b, L)

(q1, ) = (q1, b, R)

(q1, a) = (q3, b, L)

(q3, a) = (q3, a, L)

(q3, ) = (q4, a, R)

(q2, ) = (q4, a, R)

(q4, ) = (q4, a, R)

(q4, 1) = (q1, b, L)

(q4, b) = (q5, b, R)

(q5, b) = (q5, b, R)

(q5, 1) = (q1, b, L)

(q5, ) = (q6, , S)

2. Diagrama de Moore

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.

Se inicia el proceso con la cadena valida 011, la

MT se encuentra en el estado inicial q0 y la posicin
de la cabeza de la cinta en la posicin del cero.

Con esta transicin se sobrescribe en la posicin

actual, la letra a y se mueve la cabeza de la cinta una
celda hacia la izquierda. Se cambia al estado q2.

Con esta transicin se sobrescribe en la posicin

actual, la letra a y se mueve la cabeza de la cinta
una celda hacia la derecha. Se cambia al estado q4.

Con esta transicin se escribe en la posicin actual,

la letra a y se mueve la cabeza de la cinta una celda
hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe la posicin actual

con la letra b y se mueve la cabeza de la cinta una
celda hacia la izquierda. Se cambia al estado q1.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la izquierda Se cambia al estado q3.

Con esta transicin se sobrescribe en la posicin

actual con la letra a y se mueve la cabeza de la cinta
una celda hacia la izquierda. No hay cambio de
estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra a y se mueve la cabeza de la cinta
una celda hacia la derecha. Se cambia al estado q4.

Con esta transicin se sobrescribe en la posicin

actual, la letra b y se mueve la cabeza de la cinta una
celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual, la letra b y se mueve la cabeza de la cinta una
celda hacia la derecha. Se cambia al estado q5.

Con esta transicin se escribe en la posicin actual,

la letra b y se mueve la cabeza de la cinta una celda
hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la izquierda. Se cambia al estado q1.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. Se cambia al estado q3.

Con esta transicin se sobrescribe en la posicin

actual con la letra a y se mueve la cabeza de la cinta
una celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra a y se mueve la cabeza de la cinta
una celda hacia la izquierda. Se cambia al estado q4.

Con esta transicin se sobrescribe en la posicin

actual con la letra a y se mueve la cabeza de la cinta
una celda hacia la izquierda. No hay cambio de
estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. Se cambia al estado q5.

Con esta transicin se escribe en la posicin actual

con la letra b y se mueve la cabeza de la cinta una
celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. No hay cambio de estado.

Con esta transicin se sobrescribe en la posicin

actual con la letra b y se mueve la cabeza de la cinta
una celda hacia la derecha. No hay cambio de estado.

Con esta transicin se pasa al estado q6 finalizando

el proceso bajo las siguientes condiciones: Estado de
aceptacin por lo cual se ratifica que la cadena 011
y la cinta contiene la cadena aabbbb, cumpliendo
de esta forma el requerimiento de la gua.

4. Cadena que no es vlida y justificacin por qu.

Una cadena no valida es 001, dado que no pertenece al lenguaje L = {01 U 11*}. Esto se puede

confirmar en el resultado que muestra en la imagen obtenida de prueba realizada con el

software JFLAP:

5. RunTest a una cadena aceptada que tenga al menos cinco smbolos.

Para el RunTest se utiliza la cadena 111111, y se obtiene el siguiente resultado:

6. Identifique en que momento la mquina se detiene.

La MT se detiene una vez termina de leer la cadena de entrada (111111), dado que se ubica en el
estado q6, el cual es el estado final del MT, y adicionalmente la cinta contiene la cadena
bbbbbbbbbbbb, como se puede observar en la imagen anterior.

7. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta

La mquina diseada es una MT (Mquina de Turing), dado que se utiliza solamente una cita
para su funcionamiento, y adicionalmente est diseada exclusivamente para resolver un
problema especfico sobre el lenguaje L = {01 U 11*}. Par poder ser una MUT, la maquina
debera estar en la capacidad de procesar cualquier cadena de todos los posibles lenguajes del
alfabeto {0,1}.