DFA minimization assignments generator