Category:計算モデル
チューリングマシン
Turing machine▲1 trends
オートマトン
Automata theory
有限オートマトン
Finite-state machine
量子回路
Quantum circuit
神託機械
Oracle machine
非決定性有限オートマトン
Nondeterministic finite automaton
アクターモデル
Actor model
自動微分
Automatic differentiation
決定性有限オートマトン
Deterministic finite automaton
スタックマシン
Stack machine非決定性チューリングマシン
Nondeterministic Turing machine
計算モデル
Model of computation
表示的意味論
Denotational semantics
並列ランダムアクセス機械
Parallel RAM
プロセス計算
Process calculus
プッシュダウン・オートマトン
Pushdown automaton
レジスタマシン
Register machine
ゼノン機械
Zeno machine
確率的チューリング機械
Probabilistic Turing machine
ミーリ・マシン
Mealy machine
FRACTRAN
FRACTRANオペランドスタック
拡張階層化状態遷移表
Communicating Sequential Processes
Communicating sequential processesラビンオートマトン
Rabin automaton
抽象機械
Abstract machine
交替性チューリング機械
Alternating Turing machine
状態遷移系
Transition system