TRABAJO COLABORATIVO 3

DEL CURSO AUTOMATAS Y LENGUAJES FORMALES

Por:








Tutor: CARLOS ALBERTO AMAYA TARAZONA




Fecha: 14 de mayo de 2014



UNIVERSIDAD NACIONAL ABIERTAY A DISTANCIA
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
INGENIERIA DE SISTEMAS

CEAD OCCIDENTE - MEDELLIN

2014









DESARROLLO DE LA ACTIVIDAD


EJERCICIO 1: Disee una MT que reconozca el lenguaje de cadenas Mquina
que acepta el lenguaje de palabras sobre {a, b} que: {

}

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

Una mquina de Turing con una sola cinta puede definirse como una 7-tupla

Dnde:
Q es un conjunto finito de estados.
un conjunto finito de smbolos distinto del espacio en blanco, denominado
alfabeto de mquina o de entrada.
es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta.
S = es el estado inicial.
B =es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces.
T = es el conjunto de estados finales de aceptacin.
* + es una funcin parcial denominada funcin de
transicin, donde L es un movimiento a la izquierda y R es el movimiento a la
derecha.






2. Disela en un Diagrama de Moore




Q = {q0, q1, q2, q3}
{a, b} Alfabeto de entrada
= {x, y} Alfabeto de la cinta
S = {q0} Estado inicial
T = {q3} Estado final
B = es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces.
Funcin de Transicin:
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )




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

Cadenas validas:



Recorrido de una cadena valida (aabb)

En el estado q0, lee en el alfabeto de entrada una a



Pasa al estado q1, pone en el alfabeto de la cinta la de maquina una x y se
desplaza hacia la derecha


Continua en el estado q1, pone en el alfabeto de la cinta la de maquina una x y
se desplaza hacia la derecha




Pasa al estado q2, lee el dato b y pone en el alfabeto de la cinta la de maquina
una y y se desplaza hacia la derecha




Continua en el estado q2, lee el dato b y pone en el alfabeto de la cinta la de
maquina una y y se desplaza hacia la derecha. Ntese como se repite el
proceso hasta que solo van quedando Xs y Ys.





Pasa al estado q3, encuentra un espacio en blanco y continua hacia la derecha
hasta terminar su recorrido como se muestra en la imagen:





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

Cadena no valida (abab)
Inicia el recorrido en el estado q0, lee una a en el alfabeto de entrada y se
desplaza hacia la derecha




Pasa al estado q1, pone en el alfabeto de la cinta la de maquina una x y se
desplaza hacia la derecha.




Pasa al estado q2, pone en el alfabeto de la cinta la de maquina una y y se
desplaza hacia la derecha.






Estando en el estado q2, se trunca el recorrido de la maquina porque segn la
cadena a seguir debera leer como dato una a, por lo tanto no llega a un estado
halt.






5. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de
imagen para el trabajo)








6. Identifique en que momento la mquina se detiene

La mquina se detiene porque quedo en un estado de aceptacin T = {q3} y la
cadena (aabb) es reconocida, dado que la cinta de la MT finalizo con {xyy} y no
hubo ambigedad en la lectura de la cadena.