Category:計算理論
漸化式
Recurrence relation▲1 trends再帰
Recursionアッカーマン関数
Ackermann function帰納的可算集合
Computably enumerable setチューリング完全
Turing completenessビザンチン将軍問題
Byzantine faultチャイティンの定数
Chaitin's constant自己言及
Self-reference決定問題
Decision problemゲーデル数
Gödel numbering一階述語論理
First-order logic停止性問題
Halting problem不動点コンビネータ
Fixed-point combinator帰納的可算言語
Recursively enumerable language述語論理
Predicate logicスーダン関数
Sudan functionノモグラム
Nomogramマルコフアルゴリズム
Markov algorithm項書き換え
Rewriting相互再帰
Mutual recursionワンのタイル
Wang tile計算複雑性理論
Computational complexity theoryΜ再帰関数
General recursive function計算等価性原理
A New Kind of Science#Principle of computational equivalence非同期セル・オートマトン
Asynchronous cellular automaton計算可能関数
Computable function前向き連鎖
Forward chaining計算モデル
Model of computation