Category:計算モデル
データ駆動
ペトリネット
Petri net
スタックマシン
Stack machine
状態遷移系
Transition system
OISC
One-instruction set computer
線形拘束オートマトン
Linear bounded automaton
ゼノン機械
Zeno machine
状態遷移表
State-transition table
要求駆動
FRACTRAN
FRACTRANオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
抽象機械
Abstract machineラビンオートマトン
Rabin automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
タグシステム
Tag system可逆計算
Reversible computing
交替性チューリング機械
Alternating Turing machine
確率的チューリング機械
Probabilistic Turing machine
データフロー
Dataflow
オートマトン
Automata theory
並列ランダムアクセス機械
Parallel RAM
自動微分
Automatic differentiation
アクターモデル
Actor model
プッシュダウン・オートマトン
Pushdown automaton
計算モデル
Model of computation
レジスタマシン
Register machine