DFA（deterministic finite automaton ）有限状态机概念