Category:計算モデル
有限オートマトン
Finite-state machine自動微分
Automatic differentiation状態遷移図
State diagramチューリングマシン
Turing machine非決定性有限オートマトン
Nondeterministic finite automatonペトリネット
Petri net状態遷移表
State-transition tableプッシュダウン・オートマトン
Pushdown automaton非決定性チューリングマシン
Nondeterministic Turing machineオートマトン
Automata theory神託機械
Oracle machineアクターモデル
Actor model抽象機械
Abstract machineスタックマシン
Stack machine要求駆動
並列ランダムアクセス機械
Parallel RAM状態遷移系
Transition systemミーリ・マシン
Mealy machineオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesゼノン機械
Zeno machine表示的意味論
Denotational semanticsラビンオートマトン
Rabin automaton交替性チューリング機械
Alternating Turing machine確率的チューリング機械
Probabilistic Turing machine量子回路
Quantum circuit線形拘束オートマトン
Linear bounded automaton