- Turing Machineにランダム性（たとえばコイントスで次の実行を決めるとか）を加えた[[Non-deterministic Turing Machine]]の一種 - 何らかの確率分布に従って状態遷移をランダムに決定する。 # 参考 - https://xlinux.nist.gov/dads/HTML/probablturng.html