NFA到DFA的确定化及最小化