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

Margaret Rouse

Margaret Rouse is an award-winning technical writer and teacher known for her ability to explain complex technical subjects to a non-technical, business audience. Over the past twenty years her explanations have appeared on TechTarget websites and she's been cited as an authority in articles by the New York Times, Time Magazine, USA Today, ZDNet, PC Magazine and Discovery Magazine.Margaret's idea of a fun day is helping IT and business professionals learn to speak each other’s highly specialized languages. If you have a suggestion for a new definition or how to improve a technical explanation, please email Margaret or contact her…