Poznámky
Osnova
Kapitola IV.
Speciální typy konečných automatů
Teorie vs. praxe
Užití obecného KA
Převod KA na DKA: Myšlenka 1/2
Převod KA na DKA: Myšlenka 2/2
Tvrzení
e
-uzávěr
Algoritmus:
e
-uzávěr
e
-uzávěr: Příklad
Algoritmus: Odstranění
e
-přechodů
Odstranění
e
-přechodů: Příklad 1/3
Odstranění
e
-přechodů: Příklad 2/3
Odstranění
e
-přechodů: Příklad 3/3
Odstranění nedeterminismu
Algoritmus: Odstranění nedeterminismu
Odstranění nedeterminismu: Příklad 1/5
Odstranění nedeterminismu: Příklad 2/5
Odstranění nedeterminismu: Příklad 3/5
Odstranění nedeterminismu: Příklad 4/5
Odstranění nedeterminismu: Příklad 4/5
Dostupné stavy
Předchozí příklad: Nedostupné stavy
Algoritmus II: Odstranění nedeterminismu
Algoritmus II: Odstranění nedeterminismu
Odstranění nedeterminismu II: Příklad 1/3
Odstranění nedeterminismu II: Příklad 2/3
Odstranění nedeterminismu II: Příklad 3/3
Ukončující stavy
Algoritmus: Odstranění nedostupných stavů
Odstranění nedostupných stavů: Příklad
Celkem: Stavy k odstranění
Úplný DKA
Algoritmus: Z DKA na úplný DKA
Dobře specifikovaný KA
Algoritmus: Převod KA na DSKA
Rozlišitelné stavy
Rozlišitelné Stavy: Příklad
Minimální KA
Algoritmus: Minimalizace KA
Minimalizace: Příklad 1/4
Minimalizace: Příklad 2/4
Minimalizace: Příklad 3/4
Minimalizace: Příklad 4/4
Typy KA: Shrnutí