Satz

Satz Äquivalenz von NEAs und DEAs sr

Satz Jede reguläre Sprache $L$ wird von einem (deterministischen) endlichen Automaten (DEA) akzeptiert. * sr

Satz Entfernen von $\epsilon$-Übergänge

forward:: Satz