Theory of Computation studies the fundamental capabilities and limitations of computers using formal languages and automata.