forward:: Zustand
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