Turing reduction
2つの集合 formula_1 に対して、formula_2 が formula_3 にチューリング還元可能（Turing reducible）であるとは、"B" に関する神託を与えられた神託機械を使って "A"の特性関数を計算可能であることをいう。これを