Computational Complexity Theory Probabilistic Turing Machine