EJERCICIOS

1. Obtener el AFD que corresponda al AFND de la figura, utilizando métodos tratados en

clases.
a

a
q0 q1

b b
b a b a
b
q2 q3 q4
a

2. Obtener el AFD que corresponda al AFND de la figura, utilizando métodos tratados en

clases.
a
q0 q1

a
b b

q2 q3

b a
a b

q4 q5
b

a a,b

3. Para el diagrama de la figura construya un AFD que acepte el mismo lenguaje

b b

b
q0 q1

a
b a

q2
4. Convertir el siguiente AFN a AFD
 0 1
p {p, q} {p}
q {r} {r}
r {s} 
*s {s} {s}

5. Convertir el siguiente AFN a AFD, utilizando el método utilizado en clase:

 0 1
p {q, s} {q}
*q {r} {q, r}
r {s} {p}
*s  {p}

6. Convertir el siguiente AFN a AFD.

 0 1
p {p, q} {p}
q {r, s} {t}
r {p, r} {t}
*s  
*t  

7. Dibuje un diagrama de transiciones para un autómata finito determinista que acepte las
mismas cadenas que el autómata finito no determinista representado en el siguiente diagrama
de transiciones.
b
q0 q1

a
b a

q2
 8. Obtenga un autómata finito determinista que acepte las mismas cadenas que el autómata
finito no determinista representado a continuación.

b
q0 q1

b a

q2

9. Construir el AFD correspondiente al AFN dado en la figura.

a b
a,b
q0 q1
b

10. Obtenga el AFN equivalente para el siguiente AFN-:

 
q0 q1 q2

a b 

q3 q4
b

11. Obtenga el AFN equivalente para el siguiente AFN-:

 a b 
A  {B} 
*B {C} {D, E} 
*C {B, C} {D} {D, E}
D  {A, B, D} {C}
E {E} {E} {A}

12. Para el AFN-, obtener el AFN que se obtiene al eliminar las transiciones .
a b c

 
q0 q1 q2
13. Convertir el siguiente AFN- en un AFD:

 
q0 q1 q2

a b 

q3 q4
b

17. Sea el siguiente AFN-

  a b c
p  {p} {q} {r}
q {p} {q} {r} 
*r {q} {r}  {p}

Convertir el autómata en un AFD.

18. Sea el siguiente AFN-

 a b c 
p {q, r}  {q} {r}
q  {p} {r} {p, q}
*r    

Convertir el autómata en un AFD.

19. Sea el siguiente AFN-

  a b c
p {q, r}  {q} {r}
q  {p} {r} {p, q}
*r    

Convertir el autómata en un AFD.

20. Dibuje un diagrama de transiciones que acepte la unión de los lenguajes aceptados por los
siguientes diagramas.
a
q1 q2

x
q3 q4

21. 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

22. Dibuje un diagrama de transiciones que acepte la estrella de Kleene del lenguaje aceptado
por el siguiente diagrama.
a
c
q1 q2 q3

23. Obtener un AFN- para (ab)* a partir de los AFN que aceptan {a} y {b}.
Convertirlo en AFN.

24. Construya un autómata finito equivalente a la siguiente expresión regular.

10 + (0 + 11)0*1

25. Obtener un AFN- que acepte el lenguaje ab* + ab*a.

26. Convertir la siguiente expresión regular a AFN-.

(0 + 1)01

27. Obtenga el AFD para la expresión regular (0 + 1) *1 + 00*, utilizando la construcción de

Thompson y la construcción de subconjuntos.

28. Sea  ={a, b}. Construir el AFD que acepte a*b.

29. Sea  ={a, b}. Construir el AFD que acepte ab*.

30. Encontrar un AFN- para (a + b)*aabab.

Convertirlo en un AFD.

31. Obtenga el AFD que reconozca la expresión regular (a + ab)*a, utilizando la construcción de
Thompson, la construcción de subconjuntos.

32. Obtenga el AFD que reconozca la expresión regular (a + ab*)*b, utilizando la construcción de
Thompson, la construcción de subconjuntos.

33. Obtenga la expresión regular que corresponde al siguiente autómata finito.

a a
b
q1 q2
b

34. Construya una expresión regular que corresponda al diagrama de estado que se da en la
figura.
0

1 0
0
B C

1
1

35. Obtenga una expresión regular para el AFD de la figura.

a
q0 q1
a
b b

q2

a,b
36. Construya una expresión regular que corresponda al diagrama de estado que se da en la
figura.

0 1
0 1
1
B C
0

37. Aquí tenemos la tabla de transición de un AFD:

 0 1
q1 q2 q3
q2 q1 q3
*q3 q2 q1

Obtener una expresión regular para el lenguaje del autómata.

38. Obtener una expresión regular para el lenguaje aceptado por el autómata de la figura.
b a a,b
a
a b a
q1 q2 q3 q4 q5

39. Obtener una expresión regular para el lenguaje aceptado por el autómata de la figura.
a,b

a b
q1 q2 q3

b a
b

q4

a
40. Construya una expresión regular que describa el lenguaje aceptado por el siguiente diagrama
de transiciones.
b

q1
a a
a,b
q0 q3 q4

b b
q2

41. Obtener una expresión regular para el lenguaje aceptado por el autómata 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