Autómatas finitos no

deterministas
Por: Mag. Kevin Arnold Arias Figueroa
 Autómatas finitos no deterministas (AFND)

A diferencia de los autómatas finitos deterministas (AFD) donde cada estado de un autómata puede tener sólo una
transición hacia otro estado a través de un mismo símbolo de su alfabeto, en los autómatas finitos no deterministas
(AFND) pueden existir más de una transición desde un estado, hacia otros estados, bajo un mismo símbolo de su
alfabeto.

AFD AFND
 La quíntupla de un AFND

Sea el siguiente diagrama de Moore, podemos definir su quíntupla acorde a las transiciones múltiples por cada
símbolo, de la siguiente manera:
a b

a donde:
q1 q3
Q = {q0, q1, q2, q3, q4}
a Σ = {a, b}
δ ={
(q0, a)={q1,q2},
q0 a a b b (q1, a)={q1,q2},
(q2, a)={q1}, (q2, b)={q3,q4},
(q3, a)={q1}, (q3, b)={q3,q4}
a }
= q0
q2 q4 F = {q0, q1}
b
 La tabla de transición de un AFND

Sea el siguiente diagrama de Moore, podemos definir su tabla de transiciones acorde a las transiciones múltiples por
cada símbolo, de la siguiente manera:
a b

a
q1 q3 Símbolos
Estados
a b
a
->* q0 q1,q2 -

q0 a a b b * q1 q1,q2 -
q2 q1 q3,q4
a q3 q1 q3,q4

q2 q4 q4 - -
b
 Análisis de hilos de un AFND

Sea el siguiente diagrama de Moore, podemos definir su análisis de hilos acorde a las transiciones múltiples por una
entrada de símbolos, por ejemplo, la siguiente (aaba):
a b

a
q1 q3

a q0 q1 q2 q3 q1

q0 a a b b q2 q1 q4

q2 q4 a a b a
b