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