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í