Similar to レジスタマシン
Communicating Sequential Processes
Communicating sequential processesAnnals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)CFL条件
Courant–Friedrichs–Lewy condition0
0▼-1 trends1
12
23
34
45
56
67
78
89
912345679
計算モデル
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