Although this question is more theoretical than most of the threads in this rubric, it still seems to me to fit the description "Computer Science". If I am wrong, perhaps someone would tell me where the question belongs. The question is as follows: After reading the descriptions of non-deterministic and of probabilistic Turing machines, it appears that one way to characterise the difference would be to say that the results of a probabilistic Turing machine follow the laws of probability, whereas the output of a non-deterministic computer follows no pattern. Is this correct? Thank you.