検索内容:
与えられた写像がチューリング機械で計算可能な関数であるかどうかを判断するために、研究者はしばしば、すべての入力に対して正しい出力で停止する明示的なチューリング機械を構築する。
チューリング機械で計算可能な関数は、理論計算機科学において基本的な役割を果たし、アルゴリズムで何が計算できるかを特徴付けます。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★