增加部分DFA