Last Updated:2025/11/27
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Turing jump
Edit Histories(0)
Source Word
Turing jump
Noun
Japanese Meaning
計算可能性理論において、与えられた決定問題Xに対して、より難易度の高い決定問題X′を割り当てる操作。ここで、X′はXをオラクルとして利用するオラクルマシンでは決定できないという性質を持つ。
( plural )