|
3. זה תלוי. אם המכונה מגיעה לסיטואציה שבה אין לה הוראה מה לעשות, היא "נתקעת". מכיוון שמבחינה פורמלית-מתמטית סיטואציה שכזו אינה מחוייבת המציאות (אפשר להגדיר לה שבכל מקרה שכזה היא תיכנס למצב שאומר "עצרי!"), לא מבדילים בין "היתקעות" שכזו ובין עצירה מכוונת.
מה שכן עלול לקרות הוא שהמכונה תיכנס ללולאה כלשהי - למשל, תלך ימינה צעד בכל סיבוב, בלי קשר למה שהיא קוראת על הסרט (במובן הפורמלי זו לא לולאה, אבל לא ניכנס לזה). בסיטואציה שכזו המכונה אכן לא תעצור אף פעם; זה עשוי לקרות גם בתוכנות מחשב "אמיתיות", שכדי לעצור אותן נדרשת התערבות חיצונית.
|
|