It is a non-deterministic Turing Machine that chooses the transitions at any given point according to a probability distribution.

e.g: Quantum Computers are probabilistic