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