DFA Minimization Algorithms in Map-Reduce and the Complexity