Turing machine
ある確率的チューリングマシンが存在し、次を満たす。