בתשובה למיץ פטל, 08/08/01 20:47
 |
|
 |
||
|
||||
 |
מה היה בדיוק הקיצור לתשובה נכונה אך לא רלוונטית? האם אתה לא מבלבל עם הטסט של טיורינג לבינה מלאכותית? בקורס החישוביות שלקחתי בזמנו הראנו באמצעות מודל מכונת טיורינג שאי אפשר לכתוב תוכנה חופשית מבאגים. הסתכלות על הטעות התיכנותית מצד האפיון לא שולל את קיום הבאג כי צריך להכניס למשוואה לא רק את האופן בו היא אמורה להתנהג אלא גם את אופן השימוש. אינני זוכר את ההוכחה (בכ"ז עברו אי אילו שנים) אבל חלק מההסבר היה חוסר האפשרות לבדיקת כל הצירופים האפשריים. |
 |
 |
 |
|
|
|
||
|
||||
|
חשבתי שבתגובתך המקורית רמזת לבעיית העצירה. בתגובתי שלי התייחסתי לבעיה זו, הנוגעת ליסודות התאוריה של מדעי המחשב ולחישוביות, ולא למבחן-טיורינג, שהוא עניין פילוסופי בהרבה (מלבד ההצלחה המעשית בתחום, המופגנת בימים אלה ע"י אפופידס 1.0b). תיאלץ להסביר שוב, אם לא את ההוכחה, אז לפחות מה היא מוכיחה (בפרט, להגדיר "באג"). האפיון המלא של תוכנית הוא פונקציה על קבוצת הקלטים לתוך קבוצת הפלטים. למשל: ניתן בהחלט לכתוב תוכנית נטולת-באגים המקבלת כקלט מספר חיובי ושלם קטן מ-100 ומחזירה כפלט את אותו מספר. אנא, נסה להסביר למה התכוונת. אם מדובר בקבוצת קלטים אינסופית, עדיין ישנן דרכים לכתוב תכניות ולהוכיח את נכונותן, ולעיסוק בכך התייחסתי בתגובה הקודמת. |
|
|
|
|
|
|
||
|
||||
|
אני אנסה להזכר או אולי המחברות הישנות נמצאות בבויידם של הורי .יכול להיות שמדובר בבעית העצירה. האם יש לך איזה מראה מקום לרענון הזכרון? |
|
|
|
|
|
|
||
|
||||
|
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |