एंड्रयू डब्ल्यू। एपेल की पुस्तक, मॉडर्न कम्पाइलर इंप्लीमेंट इन एमएल , वे अध्याय 17 के तहत कहते हैं कि कम्प्यूटेबिलिटी थ्योरी से पता चलता है कि नए अनुकूलन परिवर्तनों का आविष्कार करना हमेशा संभव होगा और यह साबित करने के लिए आगे बढ़ना होगा कि पूरी तरह से अनुकूलन कंपाइलर हॉल्टिंग समस्या को हल करेगा: एक कार्यक्रम क्यू जो कोई उत्पादन नहीं करता है और कभी भी हाट को आसानी से अपने इष्टतम प्रतिनिधित्व, ऑप्ट (Q) द्वारा प्रतिस्थापित नहीं किया जा सकता है , "L: goto L" होने के नाते। इसलिए पूरी तरह से अनुकूलन करने वाला कंपाइलिंग रुकने की समस्या को हल कर सकता है।
तो मेरा सवाल यह है: क्या कार्यक्रम को समाप्त करने के लिए पूरी तरह से अनुकूलन कंपाइलर मौजूद है? मेरे केवल विचार निम्नलिखित हैं: भले ही किसी कार्यक्रम को समाप्त करने की गारंटी दी जाती है, यह अभी भी मनमाने ढंग से जटिल हो सकता है, और किसी भी ठोस अनुकूलन कंपाइलर, सी के लिए, कोई शायद एक ऐसे प्रोग्राम का निर्माण कर सकता है जो सी को इनपुट के रूप में लेता है और किसी भी तरह एक बदतर प्रोग्राम का उत्पादन करता है। किसी तरह का कोना मामला।
इसके अलावा, खुद को समाप्त करने वाले कार्यक्रमों तक सीमित रखने के क्या निहितार्थ हैं?