Theory of Computation
Theory of Computation
What is TOC?
In theoretical computer science, the theory of computation is the branch that deals with whether
and how efficiently problems can be solved on a model of computation, using an algorithm. The
field is divided into three major branches:
• Automata theory
• Computability theory
• Computational complexity theory
Automata theory
In theoretical computer science, automata theory is the study of abstract machines (or more
appropriately, abstract 'mathematical' machines or systems) and the computational problems that
can be solved using these machines. These abstract machines are called automata.
Computability theory
It deals with the study and analysis of time and space complexity of any given problem.