Category:計算モデル
チューリングマシン
Turing machine▲1 trendsオートマトン
Automata theory量子回路
Quantum circuit有限オートマトン
Finite-state machine非決定性有限オートマトン
Nondeterministic finite automaton神託機械
Oracle machine決定性有限オートマトン
Deterministic finite automatonアクターモデル
Actor modelスタックマシン
Stack machine非決定性チューリングマシン
Nondeterministic Turing machine表示的意味論
Denotational semantics計算モデル
Model of computation並列ランダムアクセス機械
Parallel RAM自動微分
Automatic differentiationプロセス計算
Process calculusFRACTRAN
FRACTRANレジスタマシン
Register machineプッシュダウン・オートマトン
Pushdown automatonゼノン機械
Zeno machineミーリ・マシン
Mealy machineタグシステム
Tag system確率的チューリング機械
Probabilistic Turing machine可逆計算
Reversible computingオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesOISC
One-instruction set computerラビンオートマトン
Rabin automaton