... for some generic oracle X. Corollary 5 shows that if {L\, L'^) ^{jj* (L2, ... For L\ C X* and L2 Q X|, we define L\ <5n* L2 (£1 is ptt-reducible to L2) ...
確定! 回上一頁