「計算可能性理論」を解説文に含む見出し語の検索結果(11～20/444件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/30 14:17 UTC 版)「ナンバリング (計算可能性理論)」の記事における「定義と例」の解説集合 S {\dis...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「決定性有限状態機械」の解説決定性有限オートマトン（DF...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/30 14:17 UTC 版)「ナンバリング (計算可能性理論)」の記事における「計算可能なナンバリング」の解説集合 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「停止問題」の解説詳細は「チューリングマシンの停止問題」...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「はじめに」の解説理論計算機科学の中心的課題の1つとして...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/30 14:17 UTC 版)「ナンバリング (計算可能性理論)」の記事における「ナンバリングの比較」の解説全てのナン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「計算の形式モデル」の解説計算可能性理論の中心課題に答え...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「チューリングマシンの能力」の解説チューリングマシンは任...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/17 08:19 UTC 版)「計算可能性理論」の記事における「帰納言語以上の言語」の解説しかし、停止しないチューリン...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「名称問題」の解説数理論理学において、計算可能性とその一般化を...