Category:Models of computation

• Model of computation

A

• Abstract machine
• Abstract state machine
• Agent-based model
• Algorithm characterizations
• Alternating Turing machine
• Applicative computing systems
• Augmented marked graph

B

• Billiard-ball computer
• Blum–Shub–Smale machine
• Bulk synchronous parallel

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

D

• Dataflow
• Decision field theory
• Decision tree model
• Denotational semantics
• Description number
• Deterministic pushdown automaton
• Discrete system
• DNA computing

E

• Effective Fragment Potential Method
• Embedded pushdown automaton
• Event-driven finite-state machine
• Evolution in Variable Environment
• Extended finite-state machine
• External memory algorithm

F

• Finite state machine with datapath
• Finite-state machine with datapath
• Funnelsort

H

• HYSPLIT

I

• Interaction nets

K

• Kahn process networks
• Korn–Kreer–Lenssen model
• Krivine machine

L

• Lattice model (finance)
• Lazy linear hybrid automaton
• Linear bounded automaton
• LogP machine

M

• MATSim
• Membrane computing
• Multi-tape Turing machine

N

• Nested stack automaton
• Nets within Nets

O

• Oblivious RAM
• One instruction set computer
• Oracle machine

P

• P′′
• Parallel external memory
• Parallel random-access machine
• Parasitic computing
• Peptide computing
• Persistence (computer science)
• Petri net
• Post canonical system
• Probabilistic Turing machine
• Pushdown automaton

Q

• Quantum capacity
• Quantum circuit
• Quantum computing
• Queue automaton

R

• Realization (systems)
• Register machine
• Reo Coordination Language
• Reversible computing

S

• Scott information system
• SECD machine
• Shape Modeling International
• Stack machine
• State (computer science)
• State diagram
• State space
• Stochastic computing
• Stochastic Petri net
• Stream processing
• Stream X-Machine
• Structured program theorem
• SXM (computational model)

T

• Tag system
• Thread automaton
• Time loop logic
• Topological quantum computer
• Transdichotomous model
• Transition system
• Tree stack automaton
• Trinomial tree
• Turing machine
• Turing machine equivalents
• Turmite

U

• UML state machine
• Unbounded nondeterminism
• Unidirectional Data Flow (computer science)

V

• Vector addition system
• Virtual finite-state machine

W

• Word RAM

X

• X-machine

Z

• Zeno machine