DFA Minimization Algorithms in Map-Reduce