(definition)
Definition: A finite state machine with at most one transition for each symbol and state.
Also known as DFA, deterministic finite automaton.
See also nondeterministic finite state machine.
Note: Some fields, like model checking, require (and assume) that there is exactly one transition for each symbol and state. A machine that has at least one transition for each symbol and state is sometimes called "complete".
Author: PEB
If you have suggestions, corrections, or comments, please get in touch with Paul E. Black.
Entry modified Mon Dec 12 08:56:53 2005.
HTML page formatted Mon Dec 12 09:21:52 2005.
Cite this as:
Paul E. Black, "deterministic finite state machine", from
Dictionary of Algorithms and Data
Structures, Paul E. Black, ed.,
NIST.
http://www.nist.gov/dads/HTML/determFinitStateMach.html
