Изменения

где <tex>m</tex> - это вероятностная машина Тьюринга, время работы которой ограничено полиномом от длины входа.

<tex>\mbox{ZPP} \subset\mbox{RP}</tex>