AUTOMATAS Y LENGUAJES FORMALES

FASE 4: DEBATIR: GENERAR, DETERMINAR E IMPLEMENTAR SOLUCIONES A

LOS EJERCICIOS PLANTEADOS

PRESENTADO POR:

GRUPO: 301405_17

PRESENTADO A

HELENA CLARA ISABEL ALEMAN

TUTORA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MAYO 28 DE 2017

CEAD VELZ
Ejercicio 1: Realizar la conversin de AFD a AFND o de AFND a AFD segn corresponda

a b
A={0}U{-} B={1}U{-} C={2}U{-}
B={1}U{-} D={3,5}U{4} E={4}U{-}
C={2}U{-} F={3}U{4} A={0}U{-}
D={3,5}U{4} G={5}U{-} -------------
E={4}U{-} ---------- G={5}U{-}
F={3}U{4} ----------- G={5}U{-}
G={5}U{-} G={5}U{-} -----------

a b
A B C
B #D #E
C #F A
#D #G ----------
# E ------- #G
#F -------- #G
#G #G --------
Ejercicio 2: Realice la minimizacin paso a paso del autmata finito determinista

Por minimizacin de conjuntos:

Paso1: se crean dos subconjuntos para los estados de aceptacin y no aceptacin

X= {q3, q4, q5, q6}= estados de aceptacin

Y= {q0, q1, q2}= estados de no aceptacin

Paso2:

Evaluamos el conjunto de los estados de aceptacin

a b
q3 x -----
q4 ----- x
X Y
q5 ------ x
q6 x -----

Paso3:

Evaluamos el conjunto de los estados de no aceptacin

a b
Z
q0 y y
W q1 x x
q2 x y J

Paso4:

Renombramos los estados

X= {q3, q6}

Y= {q4, q5}

Z= {q0}

W= {q1}

J= {q2}
Paso5:

Empezamos a validar el grupo de conjuntos renombrando estados, hasta hallar el ltimo

conjunto equivalente.

a b
q3 x -----
X
q6 x -----

a b
Y q4 ------ x
q5 ------ x

a b
q0 w j Z

a b
q1 x y W

a b
q2 y z J

X= {q3, q6}

Y= {q4, q5}

Z= {q0}

W= {q1}

J= {q2}
Paso 6:

El autmata ya se encuentra en su mnimo estado, hallamos los ltimos conjuntos y

eliminamos los estados sobrantes para re direccionar los estados y construir el autmata
minimizado

X= {q3, q6}

Y= {q4, q5}

Z= {q0}

W= {q1}

J= {q2}

Para el caso de los conjuntos (X, Y) eliminamos cualquier estado sin que esto afecte su
funcionamiento.

X= {q3} para este conjunto eliminaremos {q6}

Y= {q4} para este conjunto eliminaremos {q5}

La nueva tabla de transicin del Autmata Minimizado queda de la siguiente manera:

a b
z w j
w x y
j ----- z
#x ----- -----
#y ----- -----
Ejercicio 3: Escriba la expresin regular y el lenguaje regular del autmata minimizado

Lenguaje que genera L= {w {a, b}* w = Todas las cadenas que empiezan por una a o
muchas as o que empiecen por una b o muchas bs y cuyas cadenas terminan con una
a o muchas as y una b.

Expresin regular

q0 q4
ab

q0 q3
aa

q0 q4
bbab

q0 q3
bbaa

E = la expresin regular esta dada por E= {ab+aa +bbab+bbaa}

Ejercicio 4: Teniendo en cuenta la expresin regular del autmata finito determinista realice
una Mquina de Turing reconocedora que lea las mismas cadenas
 La cadena de entrada es a

en la primera entrada reconoce a y avanza a la derecha.

 en la segunda entrada reconoce ab y avanza al estado final.

en la tercera entrada reconoce aa y avanza al estado final.

 en la cuarta entrada reconoce bbab y avanzando al estado final.

en la quinta entrada reconoce bbaa y avanzando al estado final.

 REFERENCIAS BIBLIOGRFICAS

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes, Gramticas Y

Autmatas Para Informticos. Recuperado el 17 de mayo de 2017 de :
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&
lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Hernndez, R. (2010). Practique la teora de autmatas y lenguajes formales. (pp. 1 -124).

Recuperado 17 de mayo de 2017 de :
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=
10

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas y lenguajes

formales. Recuperado el 17 de mayo de 2017 de :
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=
6

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificacin de

programas. (pp. 7 - 27). Recuperado el 17 de mayo de 2017 de :
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11201616&ppg=
12

CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First Pocket
Radio. [OVI]. Recuperado el 17 de mayo de 2017 de :
http://www.ck12.org/book/Engineering%3A-An-Introduction-for-High-School/section/5.2/