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)

    “Today it is not the classroom nor the classics which are the repositories of models of eloquence, but the ad agencies.”
    —Marshall McLuhan (1911–1980)