A finite automaton 3 is a notional computing machine that operates on finite sequences of symbols. The machine can be in one of a finite number of internal states, of which one is designated an ...