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: @dominio.com

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@dominio.com (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@dominio.com (ambos autómata)

Validación del AFN

Validación del AFD