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