躍變運算元

躍變運算元（jump operator）是2018年公布的計算機科學技術名詞。

基本介紹

• 中文名：躍變運算元
• 外文名：jump operator
• 所屬學科：計算機科學技術_理論計算機科學_可計算性與計算複雜性
• 公布時間：2018年

定義

利用相對停機問題不可判定性定義的運算元，它把一個自然數集合 A 變換到相對於 A 的停機問題K，這時必有 A 嚴格圖靈歸約於K。

出處

《計算機科學技術名詞 》 (第三版)。