בתשובה לאלון עמית, 20/02/04 1:14
אלאן טיורינג המופלא 199024
טל כהן • בתשובה לאלון עמית יום ו', 20/2/2004, 2:07
אפשר למצוא מכונות טיורינג במקומות *מאוד* מוזרים. קונווי חיפש את המודל הפשוט ביותר. צבי גוטרמן, בעבודת המאסטר שלו בטכניון, מצא, כך נדמה לי, את המקרה המסובך ביותר – או לפחות המופרע ביותר – המתועד: מסתבר שניתן לכתוב מכונת טיורינג בעזרת C++ templates, כך שהחישוב יתבצע על-ידי הקומפיילר *בזמן קומפילציה*, ולא בזמן ריצה. במילים אחרות, צבי הוכיח כי הידור של תוכנית cpp לא בהכרח יסתיים, ולא בשל בעיה במהדר אלא בשל אופייה של השפה. לטובת הספקנים שבקהל, הוא גם כתב תוכנית Perl שמייצרת תוכנית cpp מתאימה בהנתן הגדרה של מכונת טיורינג.
אלאן טיורינג המופלא 199029
אלון עמית • בתשובה לטל כהן יום ו', 20/2/2004, 2:35
האו אמיוזינג... קשה, קשה להיות קומפיילר ++C.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות