Todo AFND ("Q", Σ, "q", δ, "F") puede convertirse en un AFD ("Q", Σ, "q", δ, "F") equivalente, que mantiene el alfabeto Σ y el estado inicial "q" originales.