complexity class of languages recognized by a polynomial-time Turing machine with a polynomial-bounded advice function
