TRABAJO COLABORATIVO 3

DIANA PALACIOS OVIEDO

C.C 52.930.439

TUTOR:
DANIEL ANDRES GUZMAN

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA

AUTOMATAS YLENGUAJES FORMALES
CEAD JOSE ACEVEDO Y GOMEZ
NOVIEMBRE 2016

ACTIVIDAD A DESARROLLAR
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 (aaaa), 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. Identifique los componentes de la Mquina de Turing (descrbala).

1. Identifique los componentes de la Mquina de Turing (descrbala).

La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza
lectora y una cinta donde puede haber caracteres, y donde eventualmente
viene la palabra de entrada.
Para La Maquina M= (Q, , , , q0, T, B), donde
Q = es el conjunto de estados ; {q0, q1, q2,q3,q4,q5,q6}
= es el alfabeto de entrada ; {a, }
= es el alfabeto de la cinta ; {x, y, }
: Q xQ x x{L,R} = { q0, q1, q2,q3,q4,q5,q6}x{B} { q0, q1,
q2,q3,q4,q5,q6 }x{B}x{L,R,N}
(q0,a)= (q1,a,R)
(q1,)= (q2,y,L)
(q2,a)= (q2,a,L)
(q2,)= (q3,,R)
(q3,a)= (q4,a, L)
(q4, )= (q5,,R)
(q6,a)= (q6,a,L)
q0 K es el estado inicial;
q 6 T K es el estado final;
B es el smbolo blanco (el smbolo B no puede hacer parte de ) aparece
en todas las casillas excepto en aquellas que contienen los smbolos de
entrada.
2. Disela en un 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.

Cadena valida a,
Inicia con a

Lee a, se desplaza a la derecha, lee espacio y avanza a la izquierda y lee

nuevamente a.

Avanza a la derecha y lee a, se devuelve a la izquierda y lee espacio vaco.

Avanza a la derecha y lee nuevamente a.

Lee espacio vacio,

Avanza a la derecha y nuevamente lee a.

Avanza a la derecha y lee y, y luego nuevamente a la derecha y lee vacio.

Se devuelve a la izquiera y lee y y finzaliza proceso.

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

Cadena no valida ab,
El sistema inicia en a se desplaza a q1, y como identifica que b no es una
cadena valida rechaza el proceso, no lo lee y no realiza ningn movimiento.

5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco

smbolos
Cadena valida aaa:

6. Identifique en que momento la mquina se detiene.

La mquina se detiene, cuando despus de q5 lee una y, luego un espacio en

blanco y se devuelve a la izquierda y lee nuevamente y.

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

Es una MT, debido a que MUT esta diseada para realizar un clculo especifico
y no para procesar cualquier informacin.