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:

    “An accurate charting of the American woman’s progress through history might look more like a corkscrew tilted slightly to one side, its loops inching closer to the line of freedom with the passage of time—but like a mathematical curve approaching infinity, never touching its goal. . . . Each time, the spiral turns her back just short of the finish line.”
    —Susan Faludi (20th century)

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