Finish dfa