ALGORITMO PARA PASAJE DE AFND a AFD

1) Transiciones Multívocas
a
a
a a
a
p q r s b
b
b

Autómata Finito No Determinístico (AFND)

a 2
{p,q}
1 {p}
b {p} ya está 1

a
{p,q,r} 3
2 {p,q}
b {p,r} 4

a
{p,q,r,s} 5
3 {p,q,r}
b {p,r} ya está 4

a 6
{p,q,s}
4 {p,r}
b {p} ya está 1

a
{p,q,r,s} ya está 5
5 {p,q,r,s}
b {p,r,s} 7

a 5
{p,q,r,s} ya está
6 {p,q,s}
b {p,r,s} ya está 7

a
{p,q,s} ya está 6
7 {p,r,s}
b {p,s} 8

a {p,q,s} ya está 6

8 {p,s}
{p,s} ya está
b 8

1 de 6
 NOTA: los estados 5 , 6 , 7 y 8 son estados finales por contener al estado
7
final del autómata no determinístico dado.

a b
3 5 7
a
b
a b
1 2 a
a

b b b
a a
4 6 8 b

Autómata Finito Determinístico – AFD –

(Equivalente al dado)

2 de 6
 2) Transiciones Lambda

Cl {q0} = { q0 , q1 , q2 , q4 , q7 } A

{q3, q8} Cl {q3 , q8} = {q1, q2 , q3 , q4 , q6 , q7 , q8 } B

a
A
b
{q5} Cl {q5} = {q1, q2 , q4 , q5 , q6 , q7} C

a {q3, q8} Cl {q3 , q8} ya está B

B
b {q5, q9} Cl {q5 , q9} = {q1, q8 , q4 , q5 , q6 , q7 , q9 } D

a
C
{q3, q8} Cl {q3 , q8} ya está B

b {q5} Cl {q5} ya está C

{q3, q8} Cl {q3 , q8} ya está B

a
D
{q5 ,q10 } Cl {q5 , q10} = = {q1, q2 , q4 , q5 , q6 , q7 , q10} E
b

a
{q3, q8} Cl {q3 , q8} ya está B
E
b {q5} Cl {q5} ya está C

AUTÓMATA NO DETERMINÍSTICO CON TRANSICIONES 

3 de 6
 
a
a

aq q 
 1 2 53
 a b b
q q q q a q q q10
b
0 1 b a 6 7 8 9
 b  a
q q 6 7
a4 b
b 2 35
 b a
b
b
b a
8
4
AUTÓMATA DETERMINÍSTICO EQUIVALENTE AL ANTERIOR

a
b
a B a D
A
a a b
b

C b E
b

Minimizar (Autómata COMPLETO, no interesa estado Inicial)

4 de 6
q a b [q.]0 a b [q.]1 a b [q.]2 a b [q]3

1 5 2 [1] 1 1 1 1 1 1 1 2 1

2 3 2 [1] 1 1 1 3 1 2 3 2 2

3 5 4 [1] 1 4 3 1 4 3 1 4 3

4 3 2 [4] 1 1 4 3 1 4 3 2 4

5 5 6 [1] 1 1 1 1 1 1 1 2 1

6 7 6 [1] 1 1 1 3 1 2 3 2 2

7 5 4 [1] 1 4 3 1 4 3 1 4 3

8 7 6 [4] 1 1 4 3 1 4 3 2 4

Att Todos los números en negrita son CLASES de Equivalencia

( no son estados, se omitió el corchete por claridad )

5 de 6
AUTÓMATA FINITOMINIMIZADO (equivalente al dado )

a b

b
1 2

a
a
b

b
4 3
a

Para pensar ...

1) ¿Cuántas clases se podrían haber obtenido como máximo en

este ejercicio? ¿por qué?

2) Dado un autómata con “n “ estados, luego de minimizarlo se

puede en algún caso obtener un resultado con n<n’ estados?
( siendo n’ la cantidad de estados del resultado obtenido luego
de utilizar el algoritmo de minimizar)

3) ¿qué significaría si se obtienen tantas clases como la cantidad

de estados que tiene el autómata dado para minimizar?

6 de 6