• Vstup: e-free KA: M = (Q, S, R, s, F)
• Výstup: DKA: Md = (Qd, S, Rd, sd, Fd)
• Metoda:
• Qd := {Q’: Q’ Í Q, Q’ ¹ Æ}; Rd := Æ;
• for each Q’ Î Qd, and a Î S do begin
Q’’ := {q: p Î Q’, pa ® q Î R};
if Q’’ ¹ Æ then Rd := Rd È {Q’a ® Q’’};
  end
• sd := {s};
• Fd := {F’: F’ Î Qd, F’ Ç F ¹ Æ}.
Algoritmus: Odstranění nedeterminismu
15/44