reduce dfa