Category:Models of computation

A

• Actor model (computer science) (13 P)
• Applicative computing systems (5 P)

C

• Combinatory logic (1 C, 9 P)

D

• Denotational semantics (1 C, 7 P)

L

• Lambda calculus (1 C, 37 P)

P

• Persistence (1 C, 13 P)
• Petri nets (14 P)
• Process calculi (17 P)
• Programming paradigms (7 C, 77 P)

R

• Register machines (1 C, 5 P)

T

• Turing machine (26 P)

• Model of computation

A

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

B

• Billiard-ball computer
• Binomial options pricing model
• Biological computing
• Blum–Shub–Smale machine
• Bulk synchronous parallel

C

• Cache-oblivious algorithm
• CARDboard Illustrative Aid to Computation
• Categorical abstract machine
• Chaos computing
• CIP-Tool
• Communicating X-machine
• Computational model
• Counter-machine model

D

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

E

• Embedded pushdown automaton
• Event-driven finite-state machine
• Extended finite-state machine
• External memory algorithm

F

• FRACTRAN

I

• Interaction nets

K

• Kahn process networks

L

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

M

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

N

• Nested stack automaton

O

• One-instruction set computer
• One-way quantum computer
• Optical computing

P

• P′′
• P system
• Parallel RAM
• Parasitic computing
• Peptide computing
• Persistence (computer science)
• Petri net
• Post canonical system
• Post–Turing machine
• Probabilistic Turing machine
• Pushdown automaton

Q

• Quantum circuit
• Quantum computing
• Queue automaton

R

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

S

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

T

• Tag system
• Time loop logic
• Topological quantum computer
• Transition system
• Trinomial tree
• Turing machine
• Turing machine equivalents
• Turmite

U

• UML state machine
• Unbounded nondeterminism

V

• Virtual finite-state machine

X

• X-machine

Z

• Zeno machine