チューリングマシンにおける受理