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