.

A = (QA , , , A , , q0 , )
MINIMIZACION(A):
Conjunto Z,P,R
Clase SI,NO
Particion i , j =
Lista L
Para Cada x QA :
Si ((x, a) == SI) entonces:.
SI.insertar(x)
i .insertar(x)
Sino:
NO.insertar(x)
i .insertar(x)
Mientras i 6= j :
i = j
j =
Para Cada Y L:
Para Cada X Y :
Para Cada a :
R = (X, a) (representante(Y ), a)
Si (Z L|R Z = R):
Z.insertar(X)
j .insertar(rep(X))
Sino:
nueva clase P
P.insertar(X)
L.insertar(P)
j .insertar(rep(P))

Crear AF : B = (QB , , B , q0 , F )
QB = {x Qa |x = representante(y), y L}
F = {x QB |(x, a) = SI, a }
B (x, a) = representante(A (x, a)) x QB , a