**Automata theory** (also identified as **Theory Of Computation**) is a theoretical department of Computer Science and Mathematics, which mostly concerned with the good judgment of computation with respect to straight forward machines, generally known as automata.

The key motivation in the back of constructing the Automata idea was to describe and analyze the dynamic behavior of discrete systems.

The word “Automata” is obtained from the Greek word “αὐτόματα” which signifies “self-acting”. which is firmly identified with “Automation”.