Theory of Computation - The theory of computation is the branch of computer science that asks about the fundamental capabilities and limitations of computers in terms of types of problems and whether a computer can solve them efficiently (or at all).   The field is divided into three major branches: automata theory and language (the study of simple abstract computer languages), computability theory (what problems can a computer solve), and computational complexity theory (how efficiently a computer can solve them).

Click here for further information...