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