Изменения
→Определение класса PP
В этом определениях <tex>m</tex> - это [[Вероятностные машины Тьюринга | вероятностная машина Тьюринга]].
Но это очень широкий класс, <tex>\mbox{PH} \in subset \mbox{PP}</tex>. Поэтому вводится класс [[Сложностный класс BPP|<tex>\mbox{BPP}</tex>]].