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