Professional Documents
Culture Documents
Facultad de Ingeniera
Departamento de Ingeniera Informtica
Ingeniera Civil en Informtica
Autmatas y Lenguajes Formales
EJERCICIOS
PEP N1
1. Sea M el AFN dado por Q = {q0, q1}, = {a, b}, q0 = q0, F = {q1} y dada en la tabla.
Determinar si a2b est en L(M).
a b
q0 {q0, q1} {q1}
q1 {q0, q1}
a b
*q1 q2 q1
q2 q5 q4
*q3 q5 q1
q4 q1 q6
q5 q2 q6
q6 q3 q6
0 1
A B A
B A C
C D B
*D D A
E D F
F G E
G F G
H G D
0 1
A B E
B C F
*C D H
D E H
E F I
*F G B
G H B
H I C
*I A E
5. Obtener el AFD mnimo que corresponda al AFD de la figura, utilizando ambos mtodos
tratados en clases.
a
a
q0 q1
b b
b a b a
b
q2 q3 q4
a
6. Obtener el AFD mnimo que corresponda al AFD de la figura, utilizando ambos mtodos
tratados en clases.
a
q0 q1
a
b b
q2 q3
b a
a b
q4 q5
b
a a,b
a a
q0 q3 q4
q1
q2
a,b
8. Para el diagrama de la figura construya un AFD que acepte el mismo lenguaje, utilizando
ambos mtodos tratados en clases.
b b
b
q0 q1
a
b a
q2
0 1
p {p, q} {p}
q {r} {r}
r {s}
*s {s} {s}
10. Convertir el siguiente AFN a AFD, utilizando ambos mtodos tratados en clases:
0 1
p {q, s} {q}
*q {r} {q, r}
r {s} {p}
*s {p}
0 1
p {p, q} {p}
q {r, s} {t}
r {p, r} {t}
*s
*t
12. Dibuje un diagrama de transiciones para un autmata finito determinista que acepte las
mismas cadenas que el autmata finito no determinista representado en el siguiente diagrama
de transiciones, utilizando ambos mtodos tratados en clases.
b
q0 q1
a
b a
q2
13. Obtenga un autmata finito determinista que acepte las mismas cadenas que el autmata
finito no determinista representado a continuacin, utilizando ambos mtodos tratados en
clases:
b
q0 q1
b a
q2
q0 q1 q2
a b
q3 q4
b
a b
A {B}
*B {C} {D, E}
*C {B, C} {D} {D, E}
D {A, B, D} {C}
E {E} {E} {A}
17. Para el AFN-, obtener el AFN que se obtiene al eliminar las transiciones .
a b c
q0 q1 q2
q0 q1 q2
a b
q3 q4
b
a b c
p {p} {q} {r}
q {p} {q} {r}
*r {q} {r} {p}
a b c
p {q, r} {q} {r}
q {p} {r} {p, q}
*r
a b c
p {q, r} {q} {r}
q {p} {r} {p, q}
*r
22. Dibuje un diagrama de transiciones que acepte la unin de los lenguajes aceptados por los
siguientes diagramas.
a
q1 q2
x
q3 q4
y
23. Sea M1 dado por la Figura 1 y M 2 dado en la Figura 2. Obtener un AFN- que acepte
L(M1)L(M2).
a
q1 q2
a b
p1 p2 p3
b
b
a
q3 q4
a
b
Figura 1 Figura 2
24. Dibuje un diagrama de transiciones que acepte la estrella de Kleene del lenguaje aceptado
por el siguiente diagrama.
a
c
q1 q2 q3
25. Obtener un AFN- para (ab)* a partir de los AFN que aceptan {a} y {b}.
Convertirlo en AFN.
10 + (0 + 11)0*1
(0 + 1)01
33. Obtenga el AFD mnimo que reconozca la expresin regular (a + ab)*a, utilizando la
construccin de Thompson, la construccin de subconjuntos y ambos mtodos de
minimizacin tratados en clases.
34. Obtenga el AFD mnimo que reconozca la expresin regular (a + ab*)*b, utilizando la
construccin de Thompson, la construccin de subconjuntos y ambos mtodos de
minimizacin tratados en clases.
35. Obtenga la expresin regular que corresponde al siguiente autmata finito, utilizando ambos
mtodos tratados en clases.
a a
b
q1 q2
b
36. Construya una expresin regular que corresponda al diagrama de estado que se da en la
figura, utilizando ambos mtodos tratados en clases.
0
1 0
0
B C
1
1
37. Obtenga una expresin regular para el AFD de la figura, utilizando ambos mtodos tratados
en clases.
a
q0 q1
a
b b
q2
a,b
38. Obtenga la expresin regular que corresponde al siguiente autmata finito, utilizando ambos
mtodos tratados en clases:
a b
b
q1 q2
a
0 1
A B C
*B B C
C A B
40. Construya una expresin regular que corresponda al diagrama de estado que se da en la
figura, utilizando ambos mtodos tratados en clases.
0 1
0 1
1
B C
0
0 1
q1 q2 q3
q2 q1 q3
*q3 q2 q1
Obtener una expresin regular para el lenguaje del autmata, utilizando ambos mtodos
tratados en clases.
42. Obtener una expresin regular para el lenguaje aceptado por el autmata de la figura.
b a a,b
a
a b a
q1 q2 q3 q4 q5
43. Obtener una expresin regular para el lenguaje aceptado por el autmata de la figura.
a,b
a b
q1 q2 q3
b a
b
q4
44. Construya una expresin regular que describa el lenguaje aceptado por el siguiente diagrama
de transiciones.
b
q1
a a
a,b
q0 q3 q4
b b
q2
0 1
*p s p
q p s
r r q
s q r
46. Obtener una expresin regular para el lenguaje aceptado por el autmata finito de la figura.
a a a a
q0 q1 q2 q3 q4
b b b b
b b
q5 q6 q7
a a a
a
q8 q9
b b
q10
52. Encuentre un diagrama de transiciones que acepte el lenguaje generado por la gramtica
regular que se presenta a continuacin:
55. Dibuje un diagrama de transiciones para un autmata finito que acepte el lenguaje generado
por la gramtica regular que se presenta a continuacin.
56. Encuentre un diagrama de transiciones que acepte el lenguaje generado por la gramtica
regular que se presenta a continuacin.
1
0 0 0 0
1
q2 q3
58. Construir una gramtica regular lineal por la derecha para el lenguaje regular aceptado por el
autmata finito de la figura.
a b
q0 q1 q2
b a b
b
b q3 q5
a a a,b
q4
59. Presente una gramtica regular lineal por la derecha que genere el lenguaje aceptado por el
autmata finito cuyo diagrama de transiciones se presenta a continuacin.
b
q1 a,b
a a
q0 q3
2
b b
q2
60. Obtenga la gramtica regular lineal por la derecha asociada al siguiente AFD:
0 1
q1 q2 q3
0 0,1
1
0 1 0
1
q2 q3
0,1
62. Construya la gramtica regular lineal por la derecha equivalente al siguiente autmata finito:
a b
*q0 q0 q1
*q1 q0 q2
*q2 q0 q3
q3 q3 q3
63. Construir una gramtica regular lineal por la derecha para el lenguaje regular aceptado por el
autmata finito de la figura.
a b
q0 q1 q2
b b
q3 b q4
q5
q6