They gave the formal definition of Turing reduction in terms of oracle Turing machine (OTM).

• 他们用oracle图灵机(OTM)模型给出了图灵归约的形式定义。