4
이상적인 컴퓨터에서 순수한 프로그램에 대해 중지 문제를 결정할 수 있습니까?
불완전한 프로그램 (예 : I / O 및 / 또는 시스템 전역 상태에 종속 된 상태)에 대해 중지 문제가 결정 불가능한 이유를 이해하는 것은 매우 간단합니다. 그러나 직관적으로, 이상적인 컴퓨터에서 순수한 프로그램의 정지는 정적 분석 등을 통해 결정될 수 있습니다. 이것은 사실입니까? 그렇지 않다면이 주장을 반증하는 반례 나 논문은 무엇입니까?