Category:計算モデル
自動微分
Automatic differentiation
非決定性有限オートマトン
Nondeterministic finite automaton
ペトリネット
Petri net
プロセス計算
Process calculus
プッシュダウン・オートマトン
Pushdown automaton
表示的意味論
Denotational semantics
レジスタマシン
Register machine
データフロー
Dataflow
抽象機械
Abstract machine
データ駆動
並列ランダムアクセス機械
Parallel RAM
ゼノン機械
Zeno machine
タグシステム
Tag system
オペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processes
交替性チューリング機械
Alternating Turing machine
有限オートマトン
Finite-state machineラビンオートマトン
Rabin automaton
要求駆動
確率的チューリング機械
Probabilistic Turing machineOISC
One-instruction set computer
状態遷移系
Transition system
線形拘束オートマトン
Linear bounded automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
ミーリ・マシン
Mealy machine可逆計算
Reversible computingFRACTRAN
FRACTRAN