NOMBRE
FREDDY ADRIAN TENEZACA QUIROZ
ASIGNATURA
TEORIA DE AUTOMATAS
TEMA
Construya un autómata finito para identificar un nombre de correo electrónico
Construya un Autómata Finito para identificar un nombre de correo
electrónico.
Publique en el foro mediante un PDF un Autómata Finito para identificar un nombre de
correo electrónico, que cumpla las siguientes condiciones:
● Nombre de correo electrónico: Sólo minúsculas.
● Sin caracteres especiales.
● Debe terminar en: @[Link]
Debe presentar lo siguiente:
1. Quíntupla del AFN
2. Graficar el AFN
3. Convertir el AFN a AFD
4. Quíntupla AFD
5. Graficar el AFD
6. Validar la cadena: alguien@[Link] (ambos autómatas)
1. Quíntupla del AFN
Definición formal del autómata finito no determinista (AFN) según sus 5 elementos
Formalmente un AFND, queda definido por : A = (Q, ∑, δ, q0, F), en donde:
A : Nombre del AFND.
Q : Conjunto de estados.
Σ : Símbolos de entrada.
δ : Función de transición.
q0 : Estado inicial.
F : Estado final.
A = Autómata Finito para identificar un nombre de correo electrónico
Q: conjunto de estados
q0 = inicio;
q1 = Estado1;
q2 = Estado 2;
q3 = Estado 3;
q4 = Estado 4;
q5 = Estado 5,
q6 = Estado 6;
q7 = Estado 7;
q8 = Estado 8;
q9 = Estado 9;
q10 = Estado 10,
q11 = Estado11;
q12 = Estado 12;
q13 = Estado 13;
q14 = Estado 14;
q15 = Estado 15,
q16 = Estado16;
q17 = Estado 17;
q18 = Estado 18;
q19 = Estado de aceptación
Q = {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14, q15, q16, q17, q18, q19 }
∑ = {., @, a, c, d, e, g, i ,l, m, n, o, u}
δ = Función de transición
q0 = q0
F = q19
Función de transición δ
δ = (q0, a) = q1, δ = (q1, l) = q2, δ = (q2, g) = q3 δ = (q3, u) = q4 , δ = (q4, i) = q5 δ = (q5, e)
= q6, δ = (q6, n) = q7, δ = (q7, @) = q7 q8 δ = (q8, d) = q9, δ = (q9, o) = q10 δ = (q10, m) =
q11, δ = (q11, i) = q12, δ = (q12, n) = q13 δ = (q13, i) = q14 , δ = (q14, o) = q15 δ = (q15, .) =
q16, δ = (q16, c) = q17, δ = (q17, o) = q18 δ = (q18, m) = q19
2. Graficar el AFN
3. Convertir el AFN a AFD
Nuevo Estado a l g u i e n @ d o m i n i o . c o m
A q0 q1
B q1 q2
C q2 q3
D q3 q4
E q4 q5
F q5 q6
G q6 q7
H q7 q7
q8
I q7 q8 q9
J q9 q10
K q10 q11
L q11 q12
M q12 q13
N q13 q14
O q14 q15
P q15 q16
Q q16 q1
7
R q17 q18
q18 q19
S
T q19
4. Quíntupla AFD
Definición formal del autómata finito determinista AFD según sus 5 elementos
Formalmente un AFD, queda definido por : A = (Q, ∑, δ, q0, F), en donde:
A : Nombre del AFD.
Q : Conjunto de estados.
Σ : Símbolos de entrada.
δ : Función de transición.
q0 : Estado inicial.
F : Estado final.
Para el problema de la vida real, tenemos:
A = Autómata Finito para identificar un nombre de correo electrónico
Q: conjunto de estados
A = inicio; B = Estado1; C = Estado 2; D = Estado 3; E = Estado 4; F = Estado 5, G = Estado 6; H =
Estado 7; I = Estado 8; J = Estado 9; K = Estado 10, L = Estado11; M = Estado 12; N = Estado 13; O
= Estado 14; P = Estado 15, Q = Estado16; R = Estado 17; S = Estado 18; T = Estado de aceptación
Q = {A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T }
∑ = {., @, a, c, d, e, g, i ,l, m, n, o, u}
δ = Función de transición
q0 = A
F=T
Función de Transición δ
δ = (A, a) = B, δ = (B, l) = C, δ = (C, g) = D, δ = (D, u) = E , δ = (E, i) = F, δ = (F, e) = G, δ = (G, n) = H,
δ = (H, @) = I, δ = (I, d) = J, δ = (J, o) = K δ = (K, m) = L, δ = (L, i) = M, δ = (M, n) = N δ = (N, i) = O , δ
= (O, o) = P, δ = (P, .) = Q, δ = (Q, c) = R, δ = (R, o) = S δ = (S, m) = T
5. Graficar el AFD
6. Validar la cadena: alguien@[Link] (ambos autómata)
Validación del AFN
Validación del AFD
