Nicolás Chávez Santoyo

AUTÓMATAS FINITOS

Ejercicio 1: A partir de la expresión dada generar el diagrama AFN, tabla de

transiciones y diagrama AFD.

Expresión: ((ab|ad)*|c)*bbd

DIAGRAMA AFN

Operaciones para generar la tabla de transiciones:

1. cerradura - ϵ (1) = {1, 2, 3, 4, 5, 8, 12, 13, 15, 16} = A

2. muev e (A, a) = {6, 9}
3. cerradura - ϵ (6, 9) = {6, 9} = B
4. muev e (A, b) = {17}
5. cerradura - ϵ (17) = {17} = C
6. muev e (A, c) = {14}
7. cerradura - ϵ (14) = {2, 3, 4, 5, 8, 12, 13, 14, 15, 16} = D
8. muev e (A, d) = {}
9. muev e (B, a) = {}
10. muev e (B, b) = {7}
11. cerradura - ϵ (7) = {2, 3, 4, 5, 7, 8, 11, 12, 13, 15, 16} = E
12. muev e (B, c) = {}
13. muev e (B, d) = {10}
14. cerradura - ϵ (10) = {2, 3, 4, 5, 8, 10, 11, 12, 13, 15, 16} = F
15. muev e (C, a) = {}
16. muev e (C, b) = {18}
17. cerradura - ϵ (18) = {18} = G
18. muev e (C, c) = {}

1
 Nicolás Chávez Santoyo

19. muev e (C, d) = {}

20. muev e (D, a) = {6, 9}
21. cerradura - ϵ (6, 9) = B
22. muev e (D, b) = {17}
23. cerradura - ϵ (17) = C
24. muev e (D, c) = {14}
25. cerradura - ϵ (14) = D
26. muev e (D, d) = {}
27. muev e (E, a) = {6, 9}
28. cerradura - ϵ (6, 9) = B
29. muev e (E, b) = {17}
30. cerradura - ϵ (17) = C
31. muev e (E, c) = {14}
32. cerradura - ϵ (14) = D
33. muev e (E, d) = {}
34. muev e (F, a) = {6, 9}
35. cerradura - ϵ (6, 9) = B
36. muev e (F, b) = {17}
37. cerradura - ϵ (17) = C
38. muev e (F, c) = {14}
39. cerradura - ϵ (14) = D
40. muev e (F, d) = {}
41. muev e (G, a) = {}
42. muev e (G, b) = {}
43. muev e (G, c) = {}
44. muev e (G, d) = {19}
45. cerradura - ϵ (19) = {19} = H
46. muev e (H, a) = {}
47. muev e (H, b) = {}
48. muev e (H, c) = {}
49. muev e (H, d) = {}

TABLA DE TRANSICIONES

Estado/Entrada a b c d
A B C D -
B - E - F
C - G - -
D B C D -
E B C D -
F B C D -
G - - - H
H - - - -

2
 Nicolás Chávez Santoyo

DIAGRAMA AFD