Similar to レジスタマシン
Communicating Sequential Processes
Communicating sequential processes
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
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オペランドスタック
可逆計算
Reversible computing
拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine
決定性有限オートマトン
Deterministic finite automaton
交替性チューリング機械
Alternating Turing machine
自動微分
Automatic differentiation
状態遷移系
Transition system
状態遷移図
State diagram