每一个NFA都对应有唯一的一个最小化的DFA。