_3是在有formula_4类中某些完备问题的预言机辅助的情况下，能在多项式时间内由图灵机解决的决定性问题的集合。类别formula_5和formula_6也有类似的定义。比如，formula_7、 formula_8和formula_9是一些能在某些NP完全问题预言机的辅助下，在多项式时间内解决的问题的复杂度类。其中formula_14为某种将二进制字符串对formula_15和formula_16编码为一个二进制字符串的标准编码。formula_10代表一个有序的字符串对的集合，其中第一个字符串是f