Original: In theoretical computer science, automata theory is the study of abstract machines and the problems which they are able to solve.
Simplified: It is like an abstract machine.