Determinizacja automatu skończonego: Różnice pomiędzy wersjami

fix
(+przyklad)
(fix)
[[Image:NASdoDASetap3.svg|right|DAS]]
Ostatni etap polega na usunięciu stanów, których nie można osiągnąć za pomocą żadnej sekwencji liter z alfabetu wejściowego. Należy w tym celu zacząć od stanu początkowego s<sub>d0</sub> i oznaczać kolejne stany do których istnieje ścieżka. Ostatecznie otrzymujemy:
* S<sub>d</sub>={&alpha;,&beta;&gamma;,&omega;}
* &sum;<sub>d</sub>={0,1}
* s<sub>d</sub>=&alpha;
101

edycji