Autómatas Finitos No

Deterministas
L.I. MARCO ANTONIO RUIZ VICENTE

Autómatas finitos no deterministas 1

Informalmente, un AF no determinista, es una
extensión de los deterministas:

• A partir de un estado, no es necesario que el

autómata tenga prevista ninguna transición a otro
estado en respuesta a todos los símbolos de entrada
posibles.

Autómatas finitos no deterministas 2

• A partir de un estado concreto y ante un símbolo de
entrada, A partir de un estado concreto y ante un
símbolo de entrada, se permite que el autómata
transite a más de un estado distinto (transiciones no
deterministas).
• No es obligatorio consumir un símbolo de entrada
para que el autómata cambie de estado (transiciones
λ).
Autómatas finitos no deterministas 3
Equivalencia con los AFD's
• Los AFN's también son tuplas de 5 elementos 𝑄, Σ, 𝛿, 𝑞0 , 𝐹 , pero
cambia la

• AFD
• 𝛿: 𝑄𝑥Σ → 𝑄
• AFN
• 𝛿: 𝑄𝑥Σ → 𝑃(𝑄)

Autómatas finitos no deterministas 4

Si 𝑄 = 𝑞1 , 𝑞2 , 𝑃 𝑄 = , 𝑞1 , 𝑞2 , {𝑞1 , 𝑞2 }

Además, un AFN puede estar en varios estados a la vez,

¡incluso en 0 estados!.

Autómatas finitos no deterministas 5

Transiciones no deterministas
Una transición no determinista a partir de un estado q es
aquella que, dado un símbolo a ∈ Σ, se cumple que:

δ(q,a) es no determinista ⇔|δ(q,a)| > 1

Por ejemplo, considere que se desea diseñar un autómata

finito no determinista que admita las palabras {gato, gamo}

Autómatas finitos no deterministas 6

Autómatas finitos no deterministas 7
Ejemplo:
Autómata que reconoce las palabras que acaban en 01

Autómatas finitos no deterministas 8

• A=({q0,q1,q2},{0,1},,q0,{q2})

 0 1
q0 {q0,q1} q0
q1 q2
q2

Autómatas finitos no deterministas 9

Ejercicio:
Diseñar un autómata finito no determinista sobre el
alfabeto {0,1} que acepte: todas las palabras que tienen
al menos tres unos y el de todas las palabras que tienen
un número impar de unos.

Autómatas finitos no deterministas 10