Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
PRESENTADO POR:
GRUPO: 301405_17
PRESENTADO A
TUTORA
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
a b
q3 x -----
q4 ----- x
X Y
q5 ------ x
q6 x -----
Paso3:
a b
Z
q0 y y
W q1 x x
q2 x y J
Paso4:
X= {q3, q6}
Y= {q4, q5}
Z= {q0}
W= {q1}
J= {q2}
Paso5:
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:
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.
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
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
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/