Теория вычислений — изучение того, какие задачи могут быть решены вычислительными моделями и насколько эффективно они могут быть решены. Она включает automata theory, computability theory и computational complexity theory.
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?".