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