La teoría de la computación es el estudio de qué problemas pueden resolverse mediante modelos computacionales y con qué eficiencia pueden resolverse. Incluye teoría de autómatas, teoría de la computabilidad y teoría de la complejidad computacional.
In theoretical computer science and mathematics, the theory of computation is the branch that deals with how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into three major branches: automata theory and languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".