Category:計算理論
ビジービーバー
Busy beaver漸化式
Recurrence relationチューリング完全
Turing completeness再帰
Recursion計算可能関数
Computable functionビザンチン将軍問題
Byzantine faultオートマトン
Automata theoryチャーチ=チューリングのテーゼ
Church–Turing thesisアッカーマン関数
Ackermann function不動点コンビネータ
Fixed-point combinator計算モデル
Model of computationゲーデル数
Gödel numbering原始再帰関数
Primitive recursive function項書き換え
Rewriting計算可能数
Computable number領域理論
Domain theoryEDVACに関する報告書の第一草稿
First Draft of a Report on the EDVACハイパーコンピュータ
Hypercomputation計算論的神経科学
Computational neuroscience後向き連鎖
Backward chaining文字列書き換え系
Semi-Thue systemマルコフアルゴリズム
Markov algorithm合流性
Confluence (abstract rewriting)前向き連鎖
Forward chaining非同期セル・オートマトン
Asynchronous cellular automaton帰納言語
Recursive language帰納的可算言語
Recursively enumerable languageスーダン関数
Sudan function