Category:計算理論
数学基礎論
Foundations of mathematics
ビザンチン将軍問題
Byzantine fault
漸化式
Recurrence relation
計算理論
Theory of computation
竹内関数
Tak (function)
ビジービーバー
Busy beaver
自己言及
Self-reference
Μ再帰関数
General recursive function
後向き連鎖
Backward chaining
文字列書き換え系
Semi-Thue system
マルコフアルゴリズム
Markov algorithm
計算等価性原理
A New Kind of Science#Principle of computational equivalence前向き連鎖
Forward chaining
帰納言語
Recursive language
帰納的可算言語
Recursively enumerable language項書き換え
Rewriting
非同期セル・オートマトン
Asynchronous cellular automaton
スーダン関数
Sudan function
相互再帰
Mutual recursion
合流性
Confluence (abstract rewriting)
ワンのタイル
Wang tileゲーデル数
Gödel numbering
計算論的哲学
Computational philosophy
領域理論
Domain theory
ハイパーコンピュータ
Hypercomputation
計算複雑性理論
Computational complexity theory
決定問題
Decision problem
ノモグラム
Nomogram