DFA minmization, this needs to be tested throroughly