Este documento describe las características de un Autómata Finito No Determinista (NFA). Explica que un NFA se define como un 5-tupla que incluye un conjunto de estados, un alfabeto de símbolos de entrada, una función de transición, un estado inicial y un conjunto de estados finales. La función de transición especifica las posibles transiciones entre estados dados un símbolo de entrada.

1. Elisaul Morillo 12-0477
Elvin E. Arias 12-0810

2.  Son los que permiten diferentes alternativas
de computación para un string de entrada.

3.  Un NFA is un 5-tuple (Q, Σ, δ, q0, F), donde:
 Q es un conjunto de estados finitos
 Σ es un conjunto finito de simbolos de
entradas (alfabeto).
 δ: Q ×Σε→P(Q) es la funcion de transicion.
 q0 ∈ Q, es el estado de inicializacion.
 F⊆Q es el conjunto de estados de
inicializacion o finalizacion.