Category:計算理論
前向き連鎖
Forward chaining帰納的可算言語
Recursively enumerable language漸化式
Recurrence relation項書き換え
Rewriting計算論的哲学
Computational philosophy計算可能数
Computable numberビジービーバー
Busy beaverEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC文字列書き換え系
Semi-Thue systemワンのタイル
Wang tileビザンチン将軍問題
Byzantine fault不動点コンビネータ
Fixed-point combinatorハイパーコンピュータ
Hypercomputationマルコフアルゴリズム
Markov algorithmアッカーマン関数
Ackermann functionオートマトン
Automata theory自己言及
Self-referenceゲーデル数
Gödel numberingコルモゴロフ複雑性
Kolmogorov complexityチューリング完全
Turing completeness