Folien

2.70 Lemma
Zu jedem NEA N gibt es einen DEA M mit L(M) = L(N).
Beweis konstruktiv in drei Schritten:
1. Beseitigung von Übergängen z w
−→ z ′ mit |w| ≥ 2;
2. Beseitigung von Übergängen z
ε
−→ z ′ ;
3. Beseitigung von Nichtdeterminismus, d. h. der Fälle
|g(z, w)| ≥ 2 und g(z, w) = ∅.
Nichtdeterministische endliche Automaten 90/124