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