DFA确定化.