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

m
fix2
(fix)
m (fix2)
[[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;,&alpha;&beta;,&beta;&gamma;,&omega;}
* &sum;<sub>d</sub>={0,1}
* s<sub>d</sub>=&alpha;
101

edycji