Automata theory is the study of abstract machines called automata that can solve computational problems by themselves. Automata comes from the Greek word meaning something that acts on its own. Theory of computation deals with how efficiently problems can be solved using algorithms on models of computation.