The MDI algorithm traverses the lattice of all possible partitions for this general automaton, attempting to merge states that satisfy a trade-off that can be specified by the user.
assume that A 1 is a temporary solution of the algorithm and that A 2 is a tentative new solution derived from A 1 .