Category:計算モデル
神託機械
Oracle machine
プッシュダウン・オートマトン
Pushdown automaton
量子回路
Quantum circuit
チューリングマシン
Turing machine
ミーリ・マシン
Mealy machine
オートマトン
Automata theory
FRACTRAN
FRACTRAN
抽象機械
Abstract machine
自動微分
Automatic differentiation
非決定性有限オートマトン
Nondeterministic finite automatonOISC
One-instruction set computer
有限オートマトン
Finite-state machine
決定性有限オートマトン
Deterministic finite automaton
データ駆動
ペトリネット
Petri net
線形拘束オートマトン
Linear bounded automaton
スタックマシン
Stack machine
表示的意味論
Denotational semantics
ビリヤードボール・コンピュータ
Billiard-ball computer
タグシステム
Tag system
状態遷移系
Transition system
データフロー
Dataflowオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesラビンオートマトン
Rabin automaton
交替性チューリング機械
Alternating Turing machine
ゼノン機械
Zeno machine