8
중지 문제를 피하는 프로그램의 하위 집합이 있습니까?
나는 멈추는 문제에 대한 또 다른 설명을 읽고 있었고, 예를 들어 무한 시퀀스와 관련하여 주어진 모든 문제를 생각하게했습니다. 그러나 나는 내 프로그램에서 무한 시퀀스를 사용하지 않습니다-너무 오래 걸립니다. 모든 실제 응용 프로그램에는 하한과 상한이 있습니다. 실수조차도 진짜가 아닙니다-32/64 비트 등으로 저장된 근사치입니다. 문제는 그들이 멈췄을 때 결정될 수있는 프로그램의 서브 …