Category:計算モデル
チューリングマシン
Turing machine▲1 trends神託機械
Oracle machine非決定性有限オートマトン
Nondeterministic finite automatonオートマトン
Automata theoryOISC
One-instruction set computerFRACTRAN
FRACTRAN可逆計算
Reversible computing状態遷移系
Transition systemスタックマシン
Stack machineミーリ・マシン
Mealy machine交替性チューリング機械
Alternating Turing machineレジスタマシン
Register machineオペランドスタック
拡張階層化状態遷移表
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processesゼノン機械
Zeno machineラビンオートマトン
Rabin automatonビリヤードボール・コンピュータ
Billiard-ball computer要求駆動
表示的意味論
Denotational semantics量子回路
Quantum circuit線形拘束オートマトン
Linear bounded automatonデータフロー
Dataflow確率的チューリング機械
Probabilistic Turing machineデータ駆動
プロセス計算
Process calculus並列ランダムアクセス機械
Parallel RAM