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.