最終更新日:2025/11/27

During the seminar, the researcher used an example to show how the Turing jump assigns to a decision problem X a successor X′ that cannot be decided by any oracle machine given X as an oracle.

正解を見る

During the seminar, the researcher used an example to show how the Turing jump assigns to a decision problem X a successor X′ that cannot be decided by any oracle machine given X as an oracle.

音声機能が動作しない場合はこちらをご確認ください
編集履歴(0)
元となった例文

セミナーで研究者は、チューリングジャンプが各決定問題Xに対して、Xをオラクルとして持ついかなるオラクル機械でも決定できない後続の問題X′を割り当てる仕組みを例を使って示した。

Sentence quizzes to help you learn to read

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★