def zwei EA, heißen äquivalent sr
  ⟺  \iff⟺ akzeptieren dieselbe Sprache
Zu jedem NEA AAA mit ϵ\epsilonϵ-Übergänge gibts einen NEA A~\tilde{A}A~ ohne ϵ\epsilonϵ-Übergänge, der dieselbe Sprache akzeptiert* und nicht mehr Zustände hat da nur Übergänge hinzukommen
roam/sr/review
8OaMrC2Ex r/3