nfa确定化和dfa最小化