Definition of Automaton: An Automaton is a “self-acting” system that operates on a set of input symbols (one at a time) and decides whether or not to accept the given input sequence. Sometimes it may optionally produce some output sequence as well. Formally an Automaton may be defined to consist of the following: 1.       Input: A ...