准备构造DFA