Computability theory

ウィキペディア

計算可能性理論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/24 06:40 UTC 版)

計算可能性理論（けいさんかのうせいりろん、英: computability theory）とは、チューリングマシンなどの計算模型でいかなる計算問題が解けるか、またより抽象的に、計算可能な問題のクラスがいかなる構造をもっているかを調べる、計算理論や数学の一分野である。