Computation - Mathematical Models

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)