Vom NEA zum regulären Ausdruck durch Elimination von Zuständen (Idee)
Zu jedem nichtdeterministischen endlichen Automaten kann ein regulärer Ausdruck konstruiert werden, der die vom Automaten akzeptierte Sprache beschreibt. Ein mögliches Verfahren eliminiert nach und nach Zustände im Automaten.