The theory of computation is a branch of mathematics. Generally it is seen as belonging to computer science. The field of study of this subject is to see if a certain problem can be solved by a computer. If this is the case, then the question is to know if it can be solved in an efficient way.