$L \in BPP \iff$ существует ВМТ, работающая на любом входе полиномиальное время:

• $x \in L \implies Pr(M(x) = 1) \geq \frac{2}{3}$
• $x \not\in L \implies Pr(M(x) = 1) \leq \frac{1}{3}$