Site Navigation
Categories:
Programming language topics
Specific models
Formal methods
Theory of computation
Summary Of: Category:Computational models
Encyclodia Page On: Category:Computational models
These Are Links To Other Documents
Computational
|
computing
|
machines
|
discrete time
|
paradigm
|
learn more
|
Model of computation
|
Abstract machine
|
Abstract state machines
|
Agent-based model
|
Algorithm characterizations
|
Algorithm examples
|
Alternating Turing machine
|
Applicative computing systems
|
Billiard-ball computer
|
Blum-Shub-Smale machine
|
Büchi automaton
|
Bulk synchronous parallel
|
CARDboard Illustrative Aid to Computation
|
CIP-Tool
|
Cache-oblivious algorithm
|
Categorical abstract machine
|
Clumping (computer science)
|
Communicating X-Machine
|
Computational model
|
Counter automaton
|
Counter machine models
|
Counter machine reference model
|
Dataflow
|
Decision field theory
|
Decision tree model
|
Denotational semantics
|
Description number
|
Deterministic finite-state machine
|
Deterministic pushdown automaton
|
Discrete system
|
Embedded pushdown automaton
|
Event-driven finite state machine
|
Extended finite state machine
|
Finite state machine with datapath
|
Finite state transducer
|
Finite-state machine
|
Interaction nets
|
Kahn process networks
|
Lambda calculus
|
Lazy linear hybrid automaton
|
Linear bounded automaton
|
Little man computer
|
LogP machine
|
Mealy machine
|
Membrane computing
|
Moore machine
|
Multi-tape Turing machine
|
NAR 1
|
NAR 2
|
Nested stack automaton
|
Nondeterministic finite-state machine
|
One instruction set computer
|
Oracle machine
|
P system
|
Parallel Random Access Machine
|
Persistence (computer science)
|
Petri net
|
Post canonical system
|
Probabilistic Turing machine
|
Pushdown automaton
|
P′′
|
Quantum computer
|
Quantum circuit
|
Register machine
|
SXM (computational model)
|
Scott information system
|
Stack machine
|
State (computer science)
|
State diagram
|
State space
|
State transition system
|
Stochastic computing
|
Stream processing
|
Stream X-Machine
|
Tag system
|
Time loop logic
|
Topological computing
|
Topological quantum computer
|
Trinomial tree
|
Turing machine
|
Turmite
|
UML state machine
|
Unbounded nondeterminism
|
Virtual finite state machine
|
X-machine
|
Zeno machine
|
|
Statechart vs flowch...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
|
UML state machine Fi...
|
Categories
|
Programming language topics
|
Specific models
|
Formal methods
|
Theory of computation
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Category:Computational models"
.