EQUIVALENCIA DE AFN Y AFD

Ing. Sergio Castellanos Bustamante

Ing. Felipe de Jess Duarte Lpez

Definiciones
Autmata finito no determinista (AFN)
1.
2.
3.
4.
5.

Alfabeto de entrada
Q : Conjunto finito de estados
s : Estado inicial
F : Conjunto de estados Finales
: Relacin sobre (Q X ) X Q, se llama relacin de transicin

. Si se permite que desde un estado se realicen cero, una o mas

transiciones MEDIANTE EL MISMO SIMBOLO DE ENTRADA.

Definiciones
Autmata finito determinista (AFD)
1.
2.
3.
4.
5.

Alfabeto de entrada
Q : Conjunto finito de estados
s : Estado inicial
F : Conjunto de estados Finales
: Q X Q ; Determina el estado nico siguiente para
el par (qi ,) correspondiente al estado actual y la entrada.

Siempre hay un estado siguiente nico para cada carcterde

entrada. En otras palabras el estado siguiente esta
totalmente determinado por la informacin que
proporciona el par (qi ,).

Equivalencia de AFN y AFD

Un AFN es equivalente si L(M)=L(M)

Ambos Aceptan
El mismo lenguaje
a(a+b)*.

Equivalencia de AFN y AFD

Siendo M un AFN lo que se busca es que a partir de:
M=(Q, , s, F, ) obtener M=(Q, , s ,F ,).
Es decir encontrar las transiciones de M y a partir de ellas
formar Q, un estado de Q es aceptado cuando la coleccin
final de estados contiene al menos un estado de aceptacin
perteneciente a F, formando estos F, s= s, = y se define
de forma que se desplace de un conjunto de estados de
M a otro, como hace .

Ejemplo: AFN a AFD

Transicin

Estados

(q0,a)

{q1, q2}

(q0,b)

({q1,q2},a)

({q1,q2},b)

{q3}
(,b)=

(,a)

L(M)= a+(ab)+

(q3,a)

{q2}

(q3,b)
(q2,a)
(q2,b)

{q3}

Ejemplo: AFN a AFD

Transicin

Estados

(q0,a)

{q1, q2}

(q0,b)

({q1,q2},a)

({q1,q2},b)

{q3}

(,a)

(,b)=

(q3,a)

{q2}

{q2}

{q3}

(q3,b)

{q3}

{q2}

(q2,a)

{q1, q2}

{q3}

(q2,b)

{q3}

{q1, q2}
{q1, q2}

Q={,{q0}, {q2}, {q3}, {q1,q2}}

=
s = {q0}
F={{q3}, {q1,q2}}

Gracias por su atencin