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:

    “It is by a mathematical point only that we are wise, as the sailor or the fugitive slave keeps the polestar in his eye; but that is sufficient guidance for all our life. We may not arrive at our port within a calculable period, but we would preserve the true course.”
    —Henry David Thoreau (1817–1862)

    “... your problem is your role models were models.”
    —Jane Wagner (b. 1935)