The study of automata theory.
The study of computability theory.
The study of computational complexity.