सी ++ में लिखे गए प्रोग्राम पी को देखते हुए, क्या मैं एक एल्गोरिदम लिख सकता हूं जो यह पता लगाता है कि प्रोग्राम पी एक विशेष एल्गोरिदम लागू करता है या नहीं? क्या कोई एल्गोरिदम है जो इस समस्या को हल करता है। क्या यह समस्या हल करने योग्य है?क्या एक सत्यापनकर्ता लिखना संभव है जो जांचता है कि कोई दिया गया प्रोग्राम किसी दिए गए एल्गोरिदम लागू करता है या नहीं?
उदाहरण के लिए मैं एक व्यक्ति से त्वरित सॉर्ट एल्गोरिदम लागू करने के लिए कहता हूं और अब यदि मैं यह सुनिश्चित करना चाहता हूं कि व्यक्ति वास्तव में त्वरित प्रकार एल्गोरिदम लागू करता है। व्यक्ति वास्तव में कुछ अन्य सॉर्टिंग एल्गोरिदम लागू कर सकता है और यह सही आउटपुट उत्पन्न करेगा और सभी टेस्टकेस (ब्लैक बॉक्स परीक्षण) पास करेगा। एक तरीका यह है कि मैं यह कर सकता हूं स्रोत कोड में देखो। मैं इस मैन्युअल प्रयास से बचना चाहता हूं और एक ऐसा प्रोग्राम लिखना चाहता हूं जो यह काम कर सके। सवाल यह है कि "क्या यह संभव है?"।
व्यक्ति निम्न स्तर के संचालन के लिए एक सार इंटरफ़ेस का उपयोग करने के बारे में, जैसे तत्वों और स्वैपिंग तक पहुंचने के बारे में। फिर उन्हें एक ठोस वस्तु पास करें जो सुनिश्चित करता है कि कॉलर उन परिचालनों को कॉल करता है जिस तरह से क्विकॉर्ट होगा। –