Hier wird die Umwandlung eines ε-NEA zu einem NEA erläutert.
Ein ε-NEA ist ein nicht-deterministischer endlicher Automat mit ε-Übergängen.
Ein NEA ist ein Nicht-deterministischer endlicher Automat.