编译原理实现DFA