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