Изменения

Рассмотрим некоторое событие, связанное с машиной Тьюринга. Так как машина заканчивает свою работу за конечное время, она успевает рассмотреть конечное число вероятностных лент. Поэтому любое такое событие можно представить в виде <tex>A = \bigcup_{p_i} \Omega_{p_i}</tex>, где <tex>\Omega_{p_i}</tex> дизъюнктны. Заметим, что оно [[Измеримое множество|измеримое]]. Вероятностная мера <tex>p(A) = \sum \frac{1}{2^{|p_i|}}</tex>.

Вероятность того, что вероятностная машина Тьюринга <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>