图灵机
Probabilistic Turing machine