Category:計算モデル
要求駆動
計算モデル
Model of computation
プロセス計算
Process calculus
確率的チューリング機械
Probabilistic Turing machine
並列ランダムアクセス機械
Parallel RAM
状態遷移図
State diagram
状態遷移表
State-transition table
非決定性チューリングマシン
Nondeterministic Turing machine可逆計算
Reversible computing
レジスタマシン
Register machine
アクターモデル
Actor model