编译原理,DFA化简的C语言程序,消除无用状态和合并等价状态,主要用到的算法是分割法