相对化停机问题

相对化停机问题（relativized halting problem），计算机科学技术名词，给定自然数集合 A ，相对于 A 的停机问题是如下集合：{< x，y >｜(y )↓}，记为，这里(y )是编码为 x 的输入 y 的计算。