Category:計算モデル
非決定性チューリングマシン
Nondeterministic Turing machine
スタックマシン
Stack machine
状態遷移表
State-transition table
状態遷移図
State diagram
計算モデル
Model of computation
自動微分
Automatic differentiation
ペトリネット
Petri net
オートマトン
Automata theory
アクターモデル
Actor model
神託機械
Oracle machineチューリングマシン
Turing machine