対話証明
#計算複雑性理論
の文脈で登場する。
乱数源を持ったチューリングマシンは与えられた乱数源を利用して確率的に計算を行う。
確率的多項式時間で
受理
される言語を考える。