FASE TRES

Wilson Bautista Cuevas.

Mayo 2017.

Universidad Nacional Abierta Y A Distancia - Unad.

Bogot DC.
Autmatas Y Lenguajes Formales
 Tabla de Contenidos

Introduccin.........................................................................................................................1
ACTIVIDAD 1....................................................................................................................2
ACTIVIDAD 26
Introduccin
 ACTIVIDAD 1

Ejercicio 1: Disee una MT que se comporte como transductor que reconozca el lenguaje L
={ab*(bc)*}. La transduccin (salida) debe ser que por cada smbolo que entre cambie el
smbolo del alfabeto de la cinta, de la siguiente manera: a= 0; b=1; c=2.

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

Cinta de longitud infinita: dividida en celdas, una al lado de la otra(cada celda puede
tener solamente un smbolo tomado de un diccionario de smbolos predefinidos).
Cabezal: Puede leer y escribir smbolos en la cinta y mover la cinta a la izquierda y a la
derecha solamente una celda a la vez
Control finito: Tiene la capacidad de examinar algn smbolo de alguna celda y tomar
una decisin que depende del smbolo observado y del estado en que se encuentre el
control finito

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.
Comienza con la cadena valida (abc) empezando por el estado q0, el cabezal se
posiciona en la a, indicando que cuando lea una a de entrada, se cambiara por una
x, luego pasa al estado q1 que est a la derecha.
 Despus lee el smbolo b y lo cambia por y, avanza a la derecha y cambia el
estado a q0

Lee c y se cambia por z, avanza a la derecha y llega a q2.

 Lee un smbolo blanco, y dice que escriba otro smbolo blanco, avanza
a la derecha, pasa al estado q3 de aceptacin y la maquina se detiene
porque la cadena fue reconocida
4. Identifique una cadena que no sea vlida y justifquela porque.
Inicia por el estado q0, con el smbolo a, donde le indica que cuando
lea ese smbolo se cambie por x, luego se mueve a la derecha pasando
al estado q1
 Ahora lee el smbolo b, y lo cambia por y , luego se desplace a la derecha,
cambiando al estado q0

Luego lee la a, cambindola por una x, luego se mueve a la derecha,

pasando de nuevo al estado q1
 Ahora se lee un smbolo blanco, quedando en el estado q1. Para y
queda en un estado de no aceptacin por que la cadena no es
reconocida

5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco smbolos
6. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.
 Lista de referencias

Wikipedia, Mquina de Turing (2017) Recuperado el da 11 de Mayo de 2017.

https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing