Deterministic finite automaton (DFA) is a deterministic Finite-state machine. See Deterministic machine
Reversing deterministic machines
Complete and incomplete deterministic finite automata
See also Random deterministic automata
vid - vid2 - doc - vid4