83
правки
Изменения
→Свойство
==Свойство==
Вероятность того, что вероятностная машина Тьюринга <tex>m</tex> допускает слово <tex>x</tex> равна мере множества вероятностных лент<tex>y</tex>, при которых <tex>m</tex> допустит <tex>x</tex>.
<center><tex>p(m(x)=1)= \mu \{ y | m(x,y) = 1\}</tex></center>
