Category:計算モデル
有限オートマトン
Finite-state machine可逆計算
Reversible computing
データフロー
Dataflow
非決定性有限オートマトン
Nondeterministic finite automaton
タグシステム
Tag system
並列ランダムアクセス機械
Parallel RAM
ゼノン機械
Zeno machine
FRACTRAN
FRACTRAN
確率的チューリング機械
Probabilistic Turing machineオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesラビンオートマトン
Rabin automaton
要求駆動
交替性チューリング機械
Alternating Turing machine
線形拘束オートマトン
Linear bounded automaton
ミーリ・マシン
Mealy machine
抽象機械
Abstract machine
状態遷移系
Transition systemOISC
One-instruction set computer
ビリヤードボール・コンピュータ
Billiard-ball computer
プッシュダウン・オートマトン
Pushdown automaton
レジスタマシン
Register machine
プロセス計算
Process calculus
データ駆動
決定性有限オートマトン
Deterministic finite automaton
量子回路
Quantum circuit
表示的意味論
Denotational semantics