AUTOMATA FINITO NO

DETERMINISTA
Definición
Un autómata finito no determinista permite
que desde un estado se realicen cero, una o
más transiciones mediante el mismo
símbolo de entrada.
b
a q1

q0
a
a
q2
 AUTOMATA FINITO
NO DETERMINISTA
Definición formal
Formalmente el autómata finito no determinista
consiste en una quíntupla (S, Σ , ρ, i , F), donde

S es un conjunto finito de estados

Σ es el alfabeto de la máquina
ρ es un subconjunto de S x Σ x S (posibles
transiciones de la máquina)
i (un elemento de S) es el estado inicial
F (un subconjunto de S) es la colección de
estados de aceptación
 AUTOMATA FINITO NO
DETERMINISTA
Ejemplo: AFN que acepta todas las cadenas que terminan en 01

inicio 0 1
q0 q1 q2

0, 1

Estados por los que pasa un AFN durante el proceso de la secuencia de entrada
00101

q0 q0 q0 q0 q0 q0

q1 q1 q1
muere
muere
q2 q2
0 0 1 0 1
Cadena aceptada
 AUTOMATA FINITO NO
DETERMINISTA
Ejemplo: AFN que acepta todas las cadenas que terminan en 01

inicio 0 1
q0 q1 q2

0, 1

Tabla de transición del AFN anterior

0 1

q0 {q0, q1} {q0}

q1 Ø {q2}

* q2 Ø Ø
 AUTOMATA FINITO
DETERMINISTA
Ejemplo: AFD para el lenguaje a*b U ab*
Las cadenas de este lenguaje están formadas por algunas aes
seguidas de una b o por una a seguida de varias bes.

q1
b
inicio
q0
a,b
a a
a b a, b
q2 q3 q4 q5
a, b

b a

q6

b
 AUTOMATA FINITO NO
DETERMINISTA
Ejemplo: AFN para el lenguaje a*b U ab*
Las cadenas de este lenguaje están formadas por algunas aes seguidas
de una b o por una a seguida de varias bes.

a
inicio a
q0 q1 b q2

a
ρ a b
b q4 q0 {q1,q4} {q3}
b q1 {q1} {q2}
q3 * q2 ø ø
* q3 ø ø
* q4 ø {q4}
 AUTOMATA FINITO NO
DETERMINISTA
Ejemplo: AFN para el lenguaje (ab U aba)*

a ρ a b
inicio q0 {q1} ø
q0 b *
q1
q1 ø {q0, q2}
b
a q2 {q0} ø

q2

•Cadenas aceptadas: ε, ab, abab, ababab, aba,

abaabaaba, etc
•Cadenas no aceptadas: abaa, abab, bab, etc
 AUTOMATA FINITO NO
DETERMINISTA
Ejemplo: AFN de números binarios divisibles por 4.
Un número (en base 10) es divisible por 4 cuando sus dos últimas cifras
son cero o forman un número que es múltiplo de 4.

0, 1 ρ 0 1
inicio
q0 q1 q0 {q0,q1} {q0}
0
q1 {q2} Ø
0
* q2 Ø Ø
q2

•Cadenas aceptadas: 100=4, 1000=8, 1100=12,

10000=16, 10100=20, 11000=24, 11100=28,
1110100=116, etc
•Cadenas no aceptadas: 101=5, 1010=10, etc
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA
Sea el AFN de la figura y Generar una
su respectiva tabla de tabla con el
transición. conjunto ρ 0 1
0, 1 potencia de los
inicio estados del Ø Ø Ø
q0 q1
0 AFN {q0} {q0,q1} {q0}
0 {q1} {q2} Ø
1
* {q2} Ø Ø
q2
{q0,q1} {q0,q1,q2} {q0}
ρ 0 1 * {q0,q2} {q0,q1} {q0}
q0 {q0,q1} {q0} {q1,q2} {q2} Ø
*
q1 {q2} Ø {q0,q1,q2} {q0,q1,q2} {q0}
*
* q2 Ø Ø
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA

Generar un AFD con la tabla 2

ρ 0 1
0,1
1
Ø Ø Ø Ø
0
{q0} {q0,q1} {q0} {q0} {q0,q1} 1
1 1
{q1} {q2} Ø 0
0,1 0
{q2} Ø Ø {q1} 1
*
{q0,q1,q2} 0 {q0,q1,q2}
{q0,q1} {q0}
{q0,q2}
* {q0,q2} {q0,q1} {q0} {q2}

{q1,q2} {q2} Ø 0 0
*
{q0,q1,q2}
* {q0,q1,q2} {q0} {q1,q2}
1
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA

Eliminar los estados inalcanzables 3

ρ 0 1
Ø Ø Ø
0,1
{q0} {q0,q1} {q0} 1 1
Ø
0
{q1} {q2} Ø {q0} {q0,q1}
{q2} Ø Ø 1 1
* 0 0
{q0,q1,q2} 0,1
{q0,q1} {q0} {q1} 1
{q0,q2}
* {q0,q2} {q0,q1} {q0} 0 {q0,q1,q2}

* {q1,q2} {q2} Ø {q2}

{q0,q1,q2} 0 0
* {q0,q1,q2} {q0}
{q1,q2}
Estados inalcanzables 1
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA

Elabore la tabla con el AFD 4

ρ 0 1
{q0} {q0,q1} {q0}
{q0,q1} {q0,q1,q2} {q0} 1
* {q0,q2} {q0,q1} {q0} {q0}
0
1
{q0,q1}
{q0,q1,q2}
* {q0,q1,q2} {q0} 1
0
0
1
{q0,q1,q2}
{q0,q2}

0
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA

Elabore la tabla con el AFD 4

ρ 0 1
{q0} {q0,q1} {q0}
{q0,q1} {q0,q1,q2} {q0} 1
* {q0,q2} {q0,q1} {q0} {q0}
0
1
{q0,q1}
{q0,q1,q2}
* {q0,q1,q2} {q0} 1
0
0
1
{q0,q1,q2}
{q0,q2}

Estados inalcanzables
 CONVERSION DE AUTOMATA FINITO NO
DETERMINISTA A UN AUTOMATA FINITO
DETERMINISTA

Elabore la tabla con el AFD 4

ρ 0 1
{q0} {q0,q1} {q0}
{q0,q1} {q0,q1,q2} {q0} 1
* {q0,q1,q2} {q0,q1,q2} {q0} 0
{q0} {q0,q1}
1
0
1
{q0,q1,q2}