minimize dfa example