DFA

Deterministic Finite-state Automaton. See Finite State Machine.