$A$

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

$A$ = ($Q$, $\Sigma$, $\delta$, $s$, $F$)