$\epsilon$-Übergänge

forward:: $\epsilon$-Übergänge

Zu jedem NEA $A$ mit $\epsilon$-Übergänge gibts einen NEA $\tilde{A}$ ohne $\epsilon$-Übergänge, der dieselbe Sprache akzeptiert* und nicht mehr Zustände hat da nur Übergänge hinzukommen

$p$ von $q$ erreichbar ist mit beliebig vielen $\epsilon$-Übergängen und genau einem a-Übergang

alle Zustände, die von q über $\epsilon$-Übergänge erreichbar sind