Content deleted Content added
→Neuromorphic quantum computing: I made a grammatical correction, I think. |
"Computational models": I'm fairly certain this is about modelling computation, not using computers to model objects. |
||
Line 7:
==Background==
The general theory of [[computation]] allows for a variety of
===
{{main|
A model of computation describes how the output of a mathematical function is computed given its input. The model describes how units of computations, memories, and communications are organized.<ref>{{cite book|last=Savage|first=John E.|author-link = John E. Savage|title=Models Of Computation: Exploring the Power of Computing|year=1998|publisher=Addison-Wesley|ISBN= 978-0201895391}}</ref> The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology.
A wide variety of models are commonly used; some closely resemble the workings of (idealized) conventional computers, while others do not. Some commonly used models are [[register machine]]s, [[random-access machine]]s, [[Turing machine]]s, [[lambda calculus]], [[rewriting system]]s, [[digital circuit]]s, [[cellular automaton|cellular automata]], and [[Petri net]]s.
===Mechanical computing===
|