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 18 subcategories, out of 18 total.
A
- Abstract machines (6 P)
C
D
- Denotational semantics (7 P)
L
O
- Computation oracles (8 P)
P
- Petri nets (20 P)
- Process calculi (22 P)
Q
R
- Register machines (6 P)
- Reversible computing (10 P)
S
T
- Transition systems (6 P)
- Turing machine (34 P)
Pages in category "Models of computation"
The following 139 pages are in this category, out of 139 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
- Complexity and Real Computation
- Computational model
- Computing with Memory
- Counter automaton
- Counter-machine model
D
E
H
L
M
O
P
R
S
- Scott information system
- Sea of nodes
- SECD machine
- Shape Modeling International
- Engineering:Silq
- Stack machine
- State (computer science)
- State diagram
- State space
- State space (computer science)
- Stochastic computing
- Stochastic Petri net
- Stream processing
- Stream X-Machine
- Structured program theorem
- SXM (computational model)
