nfa to dfa small state number fix