Mathematical Models
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
Read more about this topic: Computation
Famous quotes containing the words mathematical and/or models:
“What he loved so much in the plant morphological structure of the tree was that given a fixed mathematical basis, the final evolution was so incalculable.”
—D.H. (David Herbert)
“... your problem is your role models were models.”
—Jane Wagner (b. 1935)