En las figuras de ejemplo, como el AFND inicial posee tres estados ("q", "q", "q"), entonces el AFD intermedio poseerá siete ({"q"}, {"q"}, {"q"}, {"q", "q"}, {"q", "q"}, {"q", "q"}, {"q", "q", "q"}), y como el estado final original era "q", entonces los estados finales del AFD intermedio son {"q"}, {"q", "q"}, {"q", "q"} y {"q", "q", "q"}.