添加了DFA匹配函数