Klassen av språk som en medlemskap beregning av en sannsynlig Turing machine stopper i Polynomisk tid med ingen falske alle varslingsmeldinger om godkjenning eller avslag, men tilfeldig noen "ikke vet" svar. Formell definisjon: For et språk, S, finnes det en sannsynlig Turing machine, M, som stopper i Polynomisk tid. M (riktig) godtar eller avviser strengen eller tilfeldig, stopper i "Jeg vet ikke" tilstand.