Nicolás Chávez Santoyo

AUTÓMATAS FINITOS

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

de transiciones y diagrama AFD.

Expresión: 00(01|11)0 ( (101|111)|0001)* 11(00|11)

DIAGRAMA AFN

1
 Nicolás Chávez Santoyo

Operaciones para generar la tabla de transiciones:

1. cerradura (1) = {1} = A

2. mueve (A, 0) = {2}
3. cerradura (2) = {2} = B
4. mueve (A, 1) = {}
5. mueve (B, 0) = {3}
6. cerradura (3) = {3, 4, 7} = C
7. mueve (B, 1) = {}
8. mueve (C, 0) = {5}
9. cerradura (5) = {5} = D
10. mueve (C, 1) = {8}
11. cerradura (8) = {8} = E
12. mueve (D, 0) = {}
13. mueve (D, 1) = {6}
14. cerradura (6) = {6, 10} = F
15. mueve (E, 0) = {}
16. mueve (E, 1) = {9}
17. cerradura (9) = {9, 10} = G
18. mueve (F, 0) = {11}
19. cerradura (11) = {11, 12, 13, 14, 18, 23, 29} = H
20. mueve (F, 1) = {}
21. mueve (G, 0) = {11}
22. cerradura (11) = H
23. mueve (G, 1) = {}
24. mueve (H, 0) = {24}
25. cerradura (24) = {24} = I
26. mueve (H, 1) = {15, 19 ,30}
27. cerradura (15, 19, 30) = {15,19,30} = J
28. mueve (I, 0) = {25}
29. cerradura (25) = {25} = K
30. mueve (I, 1) = {}
31. mueve (J, 0) = {16}
32. cerradura (16) = {16} = L
33. mueve (J, 1) = {20, 31}
34. cerradura (20, 31) = {20, 31, 32, 35} = M
35. mueve (K, 0) = {26}
36. cerradura (26) = {26} = N
37. mueve (K, 1) = {}
38. mueve (L, 0) = {}
39. mueve (L, 1) = {17}
40. cerradura (17) = {13, 14, 18, 22, 28, 29} = Ñ
41. mueve (M, 0) = {33}
42. cerradura (33) = {33} = O
43. mueve (M, 1) = {21, 36}
44. cerradura (21, 36) = {13, 14, 18, 21, 22, 28, 29, 36} = P

2
 Nicolás Chávez Santoyo

45. mueve (N, 0) = {}

46. mueve (N, 1) = {27}
47. cerradura (27) = {13, 14, 18, 27, 28, 29} = Q
48. mueve (Ñ, 0) = {}
49. mueve (Ñ, 1) = {15, 19, 30}
50. cerradura (15, 19, 30) = J
51. mueve (O, 0) = {34}
52. cerradura (34) = {34, 38} = R
53. mueve (O, 1) = {}
54. mueve (P, 0) = {}
55. mueve (P, 1) = {15, 19, 30, 37}
56. cerradura (15, 19, 30, 37) = {15, 19, 30, 37, 38} = S
57. mueve (Q, 0) = {}
58. mueve (Q, 1) = {15, 19, 30}
59. cerradura (15, 19, 30) = J
60. mueve (R, 0) = {}
61. mueve (R, 1) = {}
62. mueve (S, 0) = {16}
63. cerradura (16) = L
64. mueve (S, 1) = {20, 31}
65. cerradura (20, 31) = M

TABLA DE TRANSICIONES

Estado/Entrada 0 1
A B -
B C -
C D E
D - F
E - G
F H -
G H -
H I J
I K -
J L M
K N -
L - Ñ
M O P
N - Q
Ñ - J
O R -
P - S
Q 0 J
R - -
S L M

3
 Nicolás Chávez Santoyo

DIAGRAMA AFD