确定有限自动机NFA化DFA