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