Notes

• The requirement that DFA::tag_type be minization_tag is a minimal assumption. The tag type can be anything provided that it is at least a minimization_tag.
• The DFA must stores the transitions in sorted containers which means that this algorithm can not be used on containers DFA_mtf, DFA_hash and DFA_tr.