Similar to 計算モデル
停止性問題
Halting problemノモグラム
Nomogramハイパーコンピュータ
Hypercomputationビザンチン将軍問題
Byzantine faultビジービーバー
Busy beaver非同期セル・オートマトン
Asynchronous cellular automaton不動点コンビネータ
Fixed-point combinator前向き連鎖
Forward chainingマルコフアルゴリズム
Markov algorithm文字列書き換え系
Semi-Thue system領域理論
Domain theoryワンのタイル
Wang tileCommunicating Sequential Processes
Communicating sequential processesOISC
One-instruction set computerアクターモデル
Actor modelオペランドスタック
可逆計算
Reversible computing拡張階層化状態遷移表
確率的チューリング機械
Probabilistic Turing machine決定性有限オートマトン
Deterministic finite automaton交替性チューリング機械
Alternating Turing machine自動微分
Automatic differentiation状態遷移系
Transition system状態遷移図
State diagram状態遷移表
State-transition table神託機械
Oracle machineスタックマシン
Stack machineゼノン機械
Zeno machine