Category:Models of computation
From HandWiki
Here is a list of articles in the Models of computation category of the Computing portal that unifies foundations of mathematics and computations using computers.
The category of Computational Models lists abstract models for investigating computing machines. Standard computational models assume discrete time paradigm.
Subcategories
This category has the following 17 subcategories, out of 17 total.
A
- Abstract machines (5 P)
C
D
- Denotational semantics (4 P)
L
O
- Computation oracles (8 P)
P
- Petri nets (11 P)
- Process calculi (15 P)
Q
R
- Reversible computing (7 P)
S
T
- Transition systems (3 P)
- Turing machine (22 P)
Pages in category "Models of computation"
The following 117 pages are in this category, out of 117 total.
A
B
C
- Cache-oblivious algorithm
- Cache-oblivious distribution sort
- CARDboard Illustrative Aid to Computation
- Categorical abstract machine
- Cell-probe model
- Channel system (computer science)
- Chaos computing
- CIP-Tool
- Communicating finite-state machine
- Communicating X-Machine
- Computational model
- Computing with Memory
- Counter automaton
- Counter-machine model
