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