Category:計算理論
可逆計算
Reversible computing非同期セル・オートマトン
Asynchronous cellular automaton計算等価性原理
A New Kind of Science#Principle of computational equivalence相互再帰
Mutual recursion帰納言語
Recursive language前向き連鎖
Forward chainingスーダン関数
Sudan function自己言及
Self-reference帰納的可算言語
Recursively enumerable language帰納的可算集合
Computably enumerable setチャイティンの定数
Chaitin's constant計算論的哲学
Computational philosophyビジービーバー
Busy beaver文字列書き換え系
Semi-Thue system不動点コンビネータ
Fixed-point combinator漸化式
Recurrence relationマルコフアルゴリズム
Markov algorithmワンのタイル
Wang tileゲーデル数
Gödel numberingコルモゴロフ複雑性
Kolmogorov complexity