Map-Reduce, Hadoop, Automata, NFA Intersections, DFA Minimization