Category:計算モデル
チューリングマシン
Turing machine▲1 trends
状態遷移図
State diagram
有限オートマトン
Finite-state machine
神託機械
Oracle machine
抽象機械
Abstract machine
状態遷移表
State-transition table
データ駆動
データフロー
Dataflow
自動微分
Automatic differentiation
決定性有限オートマトン
Deterministic finite automaton
非決定性有限オートマトン
Nondeterministic finite automaton
表示的意味論
Denotational semantics
量子回路
Quantum circuit
プッシュダウン・オートマトン
Pushdown automaton
オートマトン
Automata theory
スタックマシン
Stack machine可逆計算
Reversible computing
ペトリネット
Petri net
レジスタマシン
Register machine
ミーリ・マシン
Mealy machine
線形拘束オートマトン
Linear bounded automaton
計算モデル
Model of computation
ゼノン機械
Zeno machine
要求駆動
OISC
One-instruction set computer
タグシステム
Tag system
確率的チューリング機械
Probabilistic Turing machineオペランドスタック