• 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