Siguiente: . Un nivel arriba: Máquinas-p Anterior: .

.

Sea

$$\mbox{\it BPP}=\{L\vert\exists M\in \mbox{\rm $\frac{1}{2}$-mTp's}:L=L_B(M)\}.$$

Se tiene entonces las inclusiones

$$P\subset R\subset \mbox{\it BPP}\subset \Sigma_2^p\cap\Pi_2^p.$$