אני יכול לכתוב תוכנית ב C שמדפיסה למסך "hello" כל שניה,
ואתן לך רק את ה EXE להרצה.
איך תוכל להגיד לי אם התוכנית תסתיים מתי שהוא,או שהיא נידונה לרוץ לנצח?
נניח תחליט אחרי 900 שניות שהתוכנית אין סופית אבל היא בעצם מסתיימת אחרי 1000 שניות.
אולי תחליט שהתוכנית סופית, אבל היא אין סופית? תאלץ...