Category:計算理論
オートマトン
Automata theory
チューリング完全
Turing completeness
アッカーマン関数
Ackermann function
チャーチ＝チューリングのテーゼ
Church–Turing thesis一階述語論理
First-order logic
計算可能関数
Computable function
コルモゴロフ複雑性
Kolmogorov complexity
数学基礎論
Foundations of mathematics
ビジービーバー
Busy beaver
決定問題
Decision problem
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC
計算理論
Theory of computation
ハイパーコンピュータ
Hypercomputation原始再帰関数
Primitive recursive function
Μ再帰関数
General recursive function
計算複雑性理論
Computational complexity theory
計算モデル
Model of computation
ビザンチン将軍問題
Byzantine fault
帰納的可算集合
Computably enumerable set
計算論的神経科学
Computational neuroscience
スーダン関数
Sudan function
計算可能数
Computable number
マルコフアルゴリズム
Markov algorithm
合流性
Confluence (abstract rewriting)
ワンのタイル
Wang tile
計算等価性原理
A New Kind of Science#Principle of computational equivalence
ノモグラム
Nomogram
文字列書き換え系
Semi-Thue system