Изменения

Вероятность того, что вероятностная машина Тьюринга <tex>m</tex> допускает слово <tex>x</tex> равна мере множества вероятностных лент <tex>y</tex>, при которых <tex>m</tex> допустит допускает <tex>x</tex>.

<center><tex>P(m(x)=1)= p (\{ y | m(x,y) = 1\})</tex></center>