Category:計算モデル
チューリングマシン
Turing machine▲1 trends
神託機械
Oracle machine
非決定性有限オートマトン
Nondeterministic finite automaton
オートマトン
Automata theory
OISC
One-instruction set computerFRACTRAN
FRACTRAN可逆計算
Reversible computing
状態遷移系
Transition system
スタックマシン
Stack machine
ミーリ・マシン
Mealy machine
交替性チューリング機械
Alternating Turing machine
レジスタマシン
Register machineオペランドスタック
拡張階層化状態遷移表
計算モデル
Model of computationCommunicating Sequential Processes
Communicating sequential processes
ゼノン機械
Zeno machineラビンオートマトン
Rabin automaton
ビリヤードボール・コンピュータ
Billiard-ball computer
要求駆動
表示的意味論
Denotational semantics
量子回路
Quantum circuit
線形拘束オートマトン
Linear bounded automaton
データフロー
Dataflow
確率的チューリング機械
Probabilistic Turing machine
データ駆動
プロセス計算
Process calculus
並列ランダムアクセス機械
Parallel RAM