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