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