有界图灵归约于

有界图灵归约于（bounded Turing reducible to），计算机科学技术名词，给定自然数集合 A， B ，如果 A 图灵归约于 B ，而且存在这样的一个归约使得在计算中所问到的关于 B 中的问题不超过某一可计算函数，那么称 A 有界图灵归约于 B 。