一致伪跃变算子问题

一致伪跃变算子问题（uniform pseudo-jump operator problem），计算机科学技术名词，是否存在一个计算可枚举集合 W 使得对一切自然数子集 X，Y ，下面①和②同时成立：。