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