Category:計算理論
チャーチ＝チューリングのテーゼ
Church–Turing thesis
漸化式
Recurrence relation
コルモゴロフ複雑性
Kolmogorov complexity
ビジービーバー
Busy beaver
Μ再帰関数
General recursive function
チャイティンの定数
Chaitin's constant
型付きラムダ計算
Typed lambda calculus
竹内関数
Tak (function)
オートマトン
Automata theory
不動点コンビネータ
Fixed-point combinator再帰
Recursion
計算可能数
Computable number
合流性
Confluence (abstract rewriting)
述語論理
Predicate logic
計算モデル
Model of computation
ハイパーコンピュータ
Hypercomputation
計算可能関数
Computable functionゲーデル数
Gödel numbering
帰納言語
Recursive language
文字列書き換え系
Semi-Thue system
計算論的神経科学
Computational neuroscience
後向き連鎖
Backward chaining
計算複雑性理論
Computational complexity theory
相互再帰
Mutual recursion
マルコフアルゴリズム
Markov algorithm
非同期セル・オートマトン
Asynchronous cellular automaton
ワンのタイル
Wang tile前向き連鎖
Forward chaining