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