添加NFA2DFA，DFA最小化