Similar to ビザンチン将軍問題
漸化式
Recurrence relation
相互再帰
Mutual recursion
竹内関数
Tak (function)
チャイティンの定数
Chaitin's constant
チャーチ＝チューリングのテーゼ
Church–Turing thesis
チューリング完全
Turing completeness
停止性問題
Halting problem
ノモグラム
Nomogram
ハイパーコンピュータ
Hypercomputation
ビジービーバー
Busy beaver▼-1 trends
非同期セル・オートマトン
Asynchronous cellular automaton
不動点コンビネータ
Fixed-point combinator
前向き連鎖
Forward chaining
マルコフアルゴリズム
Markov algorithm
Μ再帰関数
General recursive function
文字列書き換え系
Semi-Thue system
領域理論
Domain theory
ワンのタイル
Wang tile
アトミックコミット
Atomic commit
競合状態
Race condition
グローバル並行性制御
Global concurrency control
クロック同期
Clock synchronization
合意 (情報工学)
Consensus (computer science)
スケーラビリティ
Scalability
直列化可能性
Serializabilityデッドアンロックシステム
デッドロック
Deadlock (computer science)分散並行性制御
Distributed concurrency control
