Category:計算モデル
チューリングマシン
Turing machine▲1 trends有限オートマトン
Finite-state machine神託機械
Oracle machine決定性有限オートマトン
Deterministic finite automatonオートマトン
Automata theory状態遷移図
State diagramデータ駆動
非決定性有限オートマトン
Nondeterministic finite automatonレジスタマシン
Register machine自動微分
Automatic differentiation計算モデル
Model of computationデータフロー
Dataflowプロセス計算
Process calculus表示的意味論
Denotational semantics量子回路
Quantum circuit抽象機械
Abstract machine非決定性チューリングマシン
Nondeterministic Turing machine状態遷移表
State-transition tableスタックマシン
Stack machine確率的チューリング機械
Probabilistic Turing machineミーリ・マシン
Mealy machine並列ランダムアクセス機械
Parallel RAM状態遷移系
Transition system要求駆動
タグシステム
Tag system交替性チューリング機械
Alternating Turing machineプッシュダウン・オートマトン
Pushdown automatonオペランドスタック