Theory of Computation

Automata theory is the study of abstract machines (or more abstract 'mathematical' machines) and the computational problems that can be solved using these machines.