受界圖靈可化歸性

受界圖靈可化歸性(bounded Turing reducibili-ty)一種可化歸性概念.受界圖靈化歸在不同文獻中有兩種不同的含義，這兩種定義都是對T化歸加以適當限制後提出的，第一種定義是指wtt化歸(參見“弱真值表化歸”)，第二種定義與第一種定義完全不同(不只在定義上不同，它們也不等價)，主要是針