Don't miss an insight. Subscribe to Techopedia for free.


Theory of Computation

What Does Theory of Computation Mean?

In computer science, the theory of computation provides a sort of “unified field theory” of how computers work. It uses the elements of automatic theory, computability theory and computational complexity theory to understand the nature of computing problems and how computing operations are performed.


Techopedia Explains Theory of Computation

Various tools function as part of the theory of computation, including an alphabet which is defined as the finite members of a particular string possibility – and various models such as the Turing model. In general, the theory of computation deals with the efficiency of algorithms and the difficulty of computing problems. The automata approach can evaluate a system on a certain basis of abstraction, where a computability theory may focus more on the mathematics of an algorithm. Using all of the aspects of a collective theory of computation approach, professionals can really dig into what it means to “solve” a particular problem with computation.


Related Terms