Similar to ビリヤードボール・コンピュータ
Communicating Sequential Processes
Communicating sequential processes可逆計算
Reversible computing
自動微分
Automatic differentiation
チューリングマシン
Turing machine
プロセス計算
Process calculus
ペトリネット
Petri net
有限オートマトン
Finite-state machine
DPLLアルゴリズム
DPLL algorithm
Mizar
Mizar system
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
計算モデル
Model of computationOISC
One-instruction set computer
アクターモデル
Actor model
オートマトン
Automata theoryオペランドスタック
拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine
決定性有限オートマトン
Deterministic finite automaton