- [[Probabilistic Turing Machine]]で、計算途中に外部から入力を得られる