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
アンサンブルカルマンフィルタ
Ensemble Kalman filter
0
0
1
1▼-1 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
計算モデル
Model of computationFRACTRAN
FRACTRANOISC
One-instruction set computer
アクターモデル
Actor model
オートマトン
Automata theoryオペランドスタック
拡張階層化状態遷移表