相对化枚举定理

（计算机科学技术）

相对化枚举定理（relativized enumeration theorem），计算机科学技术名词，全体一元谕示图灵机可以由一个谕示图灵机来枚举。即存在一个 z ，使得对一切自然数集 A 和自然数 x，y ，，这里是编码为 z 的谕示图灵机以 A 作为谕示计算的函数。