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