検索内容:
与えられた写像がチューリング機械で計算可能な関数であるかどうかを判断するために、研究者はしばしば、すべての入力に対して正しい出力で停止する明示的なチューリング機械を構築する。
チューリング機械で計算可能な関数は、理論計算機科学において基本的な役割を果たし、アルゴリズムで何が計算できるかを特徴付けます。
研究者たちは計算の限界を試すために、任意のチューリング機械をシミュレートできる汎用チューリング機械をいくつか作った。
アルゴリズム計算の限界を論じる際には、自然数上の関数が効果的な方法で計算可能であることとチューリング機械で計算可能であることが同値であるとするチャーチ=チューリングのテーゼは依然として中心的な概念である。
初期の多くのプログラマーは、そのグループが用いた創造的なヒューリスティックを単なるチューリング術と一蹴したが、後の実験でそれらの価値が証明された。
暗号解読の作業中、彼女はローレンツ暗号機の車輪設定を推定するためにチューリングの手動暗号解析手法を用いた。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★