チューリングマシン
Probabilistic Turing machine