Turing reduction
"A" から "B" へのチューリング還元が存在するとき、"B" を解くあらゆるアルゴリズムは "A" を解くアルゴリズムを作成するのに使うことが可能である。これは、 "A" を計算する神託機械が "B" に関する神託を質問する箇所に "B" のアルゴリズムを挿入することで実現される。しかし、この神託機械は何回も神託を訊ねる可能性があり、"A" のアルゴリズムは時間的にも空間的にも "B" のアルゴリズムよりも計算資源を多く必要とする可能性がある。