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