Deterministic Finite-state Automaton. See Finite State Machine.
Try this search on Wikipedia, OneLook, Google