This document discusses deterministic finite automata (DFA). A DFA is a deterministic finite machine where for each input symbol, the next state can be deterministically determined from the current state. It has a finite number of states, so it is called a deterministic finite automaton.
2. DFA, for each input symbol, one can
determine the state to which the machine will
move. Hence, it is called Deterministic
Automaton. As it has a finite number of
states, the machine is called Deterministic
Finite Machine or Deterministic Finite
Automaton.
2