Definition:Deterministic Finite Automaton

Also see

 * Definition:DFA Minimization
 * Definition:Turing Machine