跃变算子

（计算机科学技术）

跃变算子（jump operator），计算机科学技术名词，利用相对停机问题不可判定性定义的算子，它把一个自然数集合 A 变换到相对于 A 的停机问题，这时必有 A 严格图灵归约于。