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