finish minDFA