當我在這裏談論暫停問題時,聽起來好像不可終止是需要避免的,暫停問題使得不可能知道程序/算法是否好。非確定性運行時間真的很糟糕嗎?
但是,當我仔細想想,不終止程序的異常,沒有規則?我可以想到一類應用程序在預計在有限的時間內終止:編譯器。從我正在使用的Web瀏覽器到桌面環境,文本編輯器,shell,服務器託管SO,到操作系統本身,其他一切都不應該自行終止。哎呀,即使是包管理者也應該要求用戶確認。除非用戶或系統管理員另有說明,否則它們都旨在無限期地繼續運行。
我的觀點是,真的有那麼糟糕,你無法證明的東西會終止?如果有的話,證明某些東西將在有限的時間內退出將是更多的錯誤,而不是相反。
我想我的觀點是,詢問是否有一個機制,以確定是否在程序終止無意義如果程序花費大量的時間等待被告知要終止。 – Angeldude