チューリングマシンの停止性は判定できないが、ある特殊な状況やInputならば判定できるのではないか、とかそういう話題を以前どこかで目にした気がするが、 ちょっと考えてその制約を使うとチューリング完全では無い、という制約になることになり、チューリ…