编译原理实验NFA确定化为DFA