Similar to 交替性チューリング機械
確率的チューリング機械
Probabilistic Turing machine
神託機械
Oracle machine
ゼノン機械
Zeno machine
チューリングマシン
Turing machine▼-1 trends非決定性チューリングマシン
Nondeterministic Turing machine
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
0
0▲1 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▼-1 trends
9
9
12345679
計算モデル
Model of computation
Communicating Sequential Processes
Communicating sequential processesOISC
One-instruction set computer
アクターモデル
Actor model
オートマトン
Automata theoryオペランドスタック
可逆計算
Reversible computing
拡張階層化状態遷移表
決定性有限オートマトン
Deterministic finite automaton
自動微分
Automatic differentiation