• Vstup: KA M
• Výstup: DSKA Mds
• Metoda:
• převeď KA M na ekvivalentní KA M’ bez e-přechodů
• převeď KA M’ na ekvivalentní DKA Md bez nedostupných stavů • převeď KA Md na ekvivalentní DKA Mt bez neukončujících stavů
• převeď KA Mt  na ekvivalentní úplný KA Mc
• Mds := Mc
Pozn.: V Mds je max. jeden neukončující stav—qfalse
Algoritmus: Převod KA na DSKA
35/44