theory of computation

The theory of computation is the branch of computer science that deals with whether and how efficiently problems can be solved on a computational model, using an algorithm. The field is divided into two major branches: computability theory and complexity theory, but both branches deal with formal models of computation.
See more at Wikipedia.org...