Category:Models of computation

A

• ► Abstract machines‎ (1 C, 5 P)
• ► Actor model (computer science)‎ (14 P)
• ► Applicative computing systems‎ (5 P)
• ► Automata (computation)‎ (3 C, 75 P)

C

• ► Combinatory logic‎ (1 C, 9 P)

D

• ► Denotational semantics‎ (1 C, 7 P)
• ► Distributed stream processing‎ (7 P)

L

• ► Lambda calculus‎ (3 C, 51 P)

P

• ► Persistence‎ (2 C, 17 P)
• ► Petri nets‎ (20 P)
• ► Process calculi‎ (20 P)
• ► Programming paradigms‎ (12 C, 98 P)

Q

• ► Quantum computing‎ (3 C, 40 P)

R

• ► Register machines‎ (1 C, 6 P)
• ► Reversible computing‎ (7 P)

S

• ► Stack machines‎ (1 C, 9 P)

T

• ► Turing machine‎ (30 P)

• Model of computation

A

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

B

• Behavior tree (artificial intelligence, robotics and control)
• Belt machine
• Billiard-ball computer
• Binomial options pricing model
• 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
• 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
• FRACTRAN
• Funnelsort

H

• HYSPLIT

I

• Interaction nets

K

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

L

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

M

• Markov algorithm
• MATSim
• Membrane computing
• Multi-tape Turing machine

N

• NAR 1
• NAR 2
• Nested stack automaton
• Nets within Nets

O

• Oblivious ram
• One instruction set computer
• Oracle machine

P

• P′′
• P system
• Parallel random-access machine
• Parasitic computing
• Peptide computing
• Persistence (computer science)
• Petri net
• Post canonical system
• Post–Turing machine
• 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

V

• Vector addition system
• Virtual finite-state machine

W

• Word RAM

X

• X-machine

Z

• Zeno machine