Probabilistic Turing Machine