DFA
Deterministic Finite-state Automaton. See
Finite State Machine
.