רמז – עזרה ופתרונות

הבונה העסוק

כל מה שרצית לדעת על הבונה העסוק:
הבונה העסוק (Busy beaver) הוא שמה של בעיה לא כריעה במדעי המחשב, העוסקת בשאלה כמה עבודה ניתן לעשות באמצעות מכונת טיורינג עם מספר נתון של מצבים אפשריים, שפועלת על סרט ריק ועוצרת.
שתי השאלות העיקריות בתחום זה הן: מהו המספר המרבי של צעדים שמכונת טיורינג עם n מצבים יכולה לבצע לפני שהיא עוצרת (מספר זה מסומן ב-(S(n), ומהי הכמות המרבית של סימנים שהיא יכולה להדפיס לפני שהיא עוצרת (מספר זה מסומן ב-).
שתי הפונקציות האלו, (S(n ו-, אינן ניתנות לחישוב (פונקציות רקורסיביות) כי ניתן להכריע באמצעותן את בעיית העצירה, והן גדלות מהר יותר מכל פונקציה רקורסיבית.

נלקח מויקיפדיה

הגדרות נוספות הקשורות להבונה העסוק:
בעיות חישוביות
חישוביות
פונקציות בעלות גידול על-מעריכי
בעיות שאינן ניתנות לחישוב

Exit mobile version