added reachability minimization for DFA using BFS