终于解决了蛋疼的segment error的问题了！原来的程序没有加dfa = null的判断！