101
edycji
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>={α,βγ,ω}
* ∑<sub>d</sub>={0,1}
* s<sub>d</sub>=α
| |||