Category:計算モデル
チューリングマシン
Turing machine▲1 trendsオートマトン
Automata theory量子回路
Quantum circuit非決定性有限オートマトン
Nondeterministic finite automaton有限オートマトン
Finite-state machineアクターモデル
Actor model状態遷移図
State diagramプッシュダウン・オートマトン
Pushdown automaton計算モデル
Model of computation非決定性チューリングマシン
Nondeterministic Turing machineスタックマシン
Stack machine自動微分
Automatic differentiation並列ランダムアクセス機械
Parallel RAM決定性有限オートマトン
Deterministic finite automatonプロセス計算
Process calculus抽象機械
Abstract machine表示的意味論
Denotational semanticsビリヤードボール・コンピュータ
Billiard-ball computer要求駆動
ミーリ・マシン
Mealy machineゼノン機械
Zeno machine状態遷移表
State-transition tableデータ駆動
オペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes状態遷移系
Transition systemラビンオートマトン
Rabin automaton