确定性有限自动机(Deterministic Finite Automaton, DFA)