|
||||
|
||||
זה כן קינטור מיותר. גדי מבין טוב מאוד שמכונת טיורינג חד ראשית שקולה למכונה דו ראשית מבחינת כוח החישוב (מכונה אחת לא יכולה לחשב משהו שהשניה לא יכולה). להגיד בצורה פסקנית (כמעט דוגמטית) שכל מכונות הטיורינג שניתן להעלות על הדעת זה אותו הדבר *לכל דבר ועניין נקודה* זה כבר הגזמה מיותרת. המודל של מ"ט לא דטרמניסטית (למשל) הוא כן מודל מעניין בהקשר של דיון על סיבוכיות, למרות שניתן לסמלץ אותה באמצעות מ"ט דט'. |
|
||||
|
||||
אין לי ספק שגדי יודע את זה טוב ממני. מציק לי שהוא לא מסביר את זה לאלמוני שנראה שלא ממש הבין את זה. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |