Category:計算モデル
チューリングマシン
Turing machine
状態遷移図
State diagram
非決定性有限オートマトン
Nondeterministic finite automaton
神託機械
Oracle machine
有限オートマトン
Finite-state machine
プッシュダウン・オートマトン
Pushdown automaton
決定性有限オートマトン
Deterministic finite automaton可逆計算
Reversible computing
ミーリ・マシン
Mealy machine
レジスタマシン
Register machine
状態遷移表
State-transition table
線形拘束オートマトン
Linear bounded automaton
データフロー
Dataflow
FRACTRAN
FRACTRAN
状態遷移系
Transition system
スタックマシン
Stack machine
要求駆動
表示的意味論
Denotational semantics
ペトリネット
Petri net
ビリヤードボール・コンピュータ
Billiard-ball computer
ゼノン機械
Zeno machineオペランドスタック
拡張階層化状態遷移表
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processesOISC
One-instruction set computerラビンオートマトン
Rabin automaton
交替性チューリング機械
Alternating Turing machine