4
ปัญหาการหยุดชะงักสามารถตัดสินใจได้สำหรับโปรแกรมแท้ ๆ ในคอมพิวเตอร์ในอุดมคติหรือไม่?
มันค่อนข้างง่ายที่จะเข้าใจว่าทำไมปัญหาการหยุดชะงักไม่สามารถตัดสินใจได้สำหรับโปรแกรมที่ไม่บริสุทธิ์ (เช่นที่มี I / O และ / หรือรัฐขึ้นอยู่กับสถานะของเครื่องทั่วโลก); แต่อย่างสังหรณ์ใจดูเหมือนว่าโปรแกรมบริสุทธิ์ที่หยุดทำงานบนคอมพิวเตอร์ในอุดมคติจะสามารถตัดสินใจได้เช่นผ่านการวิเคราะห์เชิงสถิต อันที่จริงแล้วเป็นกรณีนี้หรือไม่? หากไม่เป็นเช่นนั้นตัวอย่างเอกสารหรือหลักฐานที่หักล้างข้อเรียกร้องนี้มีอะไรบ้าง