Computation is paramount to the discipline of computer science, and deals with the type and use of computing technology in information processing, in particular, in the context of an algorithm, or a protocol.
In the theory of computation, a diversity of mathematical models of computers have been developed. Typical mathematical models of computers are the following:
- State models including Turing machine, push-down automaton, finite state automaton, and PRAM
- Functional models including lambda calculus
- Logical models including logic programming
- Concurrent models including actor model and process calculi