ぼけっと

チューリングマシンの停止性は判定できないが、ある特殊な状況やInputならば判定できるのではないか、とかそういう話題を以前どこかで目にした気がするが、
ちょっと考えてその制約を使うとチューリング完全では無い、という制約になることになり、チューリングマシンのような簡単な機構でさえシミュレートできないことになるので、そんな言語使いたくない、という結論になることに気づいた。
今日はものすごく体調が悪いわけだが、まさかここまで頭が働いていないとは思わなかった。