• Vstup: Neúplný DKA M = (Q, S, R, s, F)
• Výstup: Úplný DKA Mc = (Qc, S, Rc, s, F)
• Metoda:
• Qc := Q È {qfalse};
• Rc := R È {qa ® qfalse: a Î S, q Î Qc,   qa ® p Ï R,  p Î Q}.
Algoritmus: Z DKA na úplný DKA
 Myšlenka: Přidej stav simulující “past”
33/44