• Vstup: DSKA  M = (Q, S, R, s, F)
• Výstup: Minimální KA Mm = (Qm, S, Rm, sm, Fm)
• Metoda:
• Qm = {{p: p Î F}, {q: q Î Q – F}};
• repeat
if existuje  X  Î Qm,  d Î S,  X1, X2 Ì X takové, že:
    X = X1 È X2, X1 Ç X2 = Æ and
   {q1: p1 Î X1, p1d ® q1 Î R} Í Q1, Q1 Î Qm,
   {q2: p2 Î X2, p2d ® q2 Î R} Ç Q1 = Æ
then rozštěp X na X1 a X2 v Qm
until není možné provést další štěpení;
• Rm = { Xa ® Y: X, Y Î Qm, pa ® q Î R, p Î X, q Î Y, a Î S};  
• sm = X: s Î X;  Fm := {X: X Î Qm, X Ç F ¹ Æ}.
Algoritmus: Minimalizace KA
39/44