DFA确定化实验报告