(computing theory) In computability theory, an operation that assigns to each decision problem X a successively harder decision problem X′ with the property that X′ is not decidable by an oracle machine with an oracle for X.
Turing jump
セミナーで研究者は、チューリングジャンプが各決定問題Xに対して、Xをオラクルとして持ついかなるオラクル機械でも決定できない後続の問題X′を割り当てる仕組みを例を使って示した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
