ここで、ABはクラスAのチューリングマシンにクラスBの何らかの問題を解く神託機械を付加して強化したもので解ける決定問題の集合である.
機械