Added random DFA generator; fixed bugs