Category:計算モデル
チューリングマシン
Turing machine
オートマトン
Automata theory
有限オートマトン
Finite-state machine
自動微分
Automatic differentiation
スタックマシン
Stack machine
神託機械
Oracle machine
ミーリ・マシン
Mealy machine
FRACTRAN
FRACTRAN
アクターモデル
Actor model
レジスタマシン
Register machine非決定性チューリングマシン
Nondeterministic Turing machine
状態遷移系
Transition systemOISC
One-instruction set computer可逆計算
Reversible computing
確率的チューリング機械
Probabilistic Turing machine
交替性チューリング機械
Alternating Turing machine
計算モデル
Model of computation
ゼノン機械
Zeno machine
非決定性有限オートマトン
Nondeterministic finite automaton
ペトリネット
Petri net
表示的意味論
Denotational semanticsオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
並列ランダムアクセス機械
Parallel RAMラビンオートマトン
Rabin automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
線形拘束オートマトン
Linear bounded automaton