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