Category:計算理論
計算理論
Theory of computation
ビジービーバー
Busy beaver
オートマトン
Automata theory
計算モデル
Model of computation原始再帰関数
Primitive recursive function
計算論的神経科学
Computational neuroscience
コルモゴロフ複雑性
Kolmogorov complexity
不動点コンビネータ
Fixed-point combinator
ノモグラム
Nomogram
述語論理
Predicate logic
項書き換え
Rewriting
ハイパーコンピュータ
Hypercomputation
計算可能数
Computable number
領域理論
Domain theory
非同期セル・オートマトン
Asynchronous cellular automaton
合流性
Confluence (abstract rewriting)
チャイティンの定数
Chaitin's constant
後向き連鎖
Backward chaining
マルコフアルゴリズム
Markov algorithm
計算等価性原理
A New Kind of Science#Principle of computational equivalence
スーダン関数
Sudan function
計算論的哲学
Computational philosophy文字列書き換え系
Semi-Thue system前向き連鎖
Forward chaining
帰納的可算言語
Recursively enumerable language
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
ワンのタイル
Wang tile
相互再帰
Mutual recursion