Category:計算理論
停止性問題
Halting problem
述語論理
Predicate logic
帰納的可算言語
Recursively enumerable language
チャイティンの定数
Chaitin's constant
チャーチ＝チューリングのテーゼ
Church–Turing thesis
漸化式
Recurrence relation
帰納的可算集合
Computably enumerable setゲーデル数
Gödel numbering
項書き換え
Rewriting
Μ再帰関数
General recursive function
相互再帰
Mutual recursion
自己言及
Self-reference
帰納言語
Recursive language
決定問題
Decision problem
非同期セル・オートマトン
Asynchronous cellular automaton
計算論的哲学
Computational philosophy文字列書き換え系
Semi-Thue system
前向き連鎖
Forward chaining後向き連鎖
Backward chaining
マルコフアルゴリズム
Markov algorithm
計算等価性原理
A New Kind of Science#Principle of computational equivalence
合流性
Confluence (abstract rewriting)
スーダン関数
Sudan function
型付きラムダ計算
Typed lambda calculus
計算可能関数
Computable function
ワンのタイル
Wang tile
ハイパーコンピュータ
Hypercomputation原始再帰関数
Primitive recursive function