多対1の削減がチューリングの還元性を意味するのはなぜですか？

そう、 $A\leqslant_mB$（1削減に相当）は、チューリング計算可能な関数f so f（A）\ subseteq Bおよびf（\ overline {A}）\ subseteq \ overline {B}が存在する場合、言語を言語Bに削減できることを意味します。$A$$B$$f$$f(A) \subseteq B$$f(\overline{A}) \subseteq \overline{B}$

$A\leqslant_TB$（還元性をチューリング）言語のことを意味し$A$、言語にチューリング低減することができる$B$オラクル機が存在する場合に$O^B$を決定$A$。

私はそれらの両方を個別に取得するのですが、なぜ$\leqslant_m$が\ leqslant_Tを意味するのかわかりません$\leqslant_T$。

非公式に言えば、手段は、 "私はサブルーチンであった場合は 、私は解決することができ  "、一方、意味し、「I場合サブルーチンがあれば、サブルーチンを  1回だけ呼び出し、さらに計算を行わずにサブルーチンの答えを返すだけのプログラムを使用してを解くことができました  。」$A\leq_{\mathrm{T}}B$$B$$A$$A\leq_{\mathrm{m}}B$$B$$A$

なんとかなるようなサブルーチンを使用して問題を解決できる場合は、サブルーチンを使用してその問題を解決できます。