相对化算术层谱

（计算机科学技术）

相对化算术层谱（relativized arithmetical hierarchy），计算机科学技术名词，给定自然数集合 A ，利用相对化的图灵机可类似地定义，相对于 A 的算术层谱指。