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