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