यदि आपके पास एक अलग सॉर्टिंग एल्गोरिदम को लागू करने वाले दो कार्य हैं, तो क्या स्रोत कोड द्वारा अनुमान लगाना संभव है कि वे दोनों एक ही बाहरी गुण हैं? इसका अर्थ है कि वे दोनों उनके इनपुट के रूप में एक संभव लिंक नहीं करेंगे और उनके आउटपुट के रूप में एक क्रमबद्ध अनुक्रम होगा? किस तरह से इन बाहरी गुणों को स्रोत कोड द्वारा निर्धारित किया जा सकता है? और आप इन बाहरी गुणों का वर्णन कैसे करेंगे? क्या संकेतन का उपयोग किया जाएगा?
बाहरी गुणों को स्पष्ट रूप से परिभाषित करके ज्ञात किया जा सकता है, उदाहरण के लिए एक प्रकार की प्रणाली के भीतर, लेकिन मैं सोच रहा हूं कि क्या यह अंतर्निहित रूप से किया जा सकता है। या इस तरह के शब्दार्थों का अनुमान लगाना किसी तरह से सैद्धांतिक रूप से असंभव है? मुझे इस बात में दिलचस्पी है कि क्या यह मनमाने कार्यों के लिए संभव है, न कि केवल एल्गोरिदम को छांटने के लिए, यह मानकर कि कार्य जैसी चीजें हमेशा रुकेंगी और इसका कोई दुष्प्रभाव नहीं होगा।
क्या मुझे सांप्रदायिक शब्दार्थ को देखना चाहिए, या असंबंधित है?
मुझे इस क्षेत्र में शोध करने के लिए और इस विषय का वर्णन करने के लिए उपयोग किए जाने वाले विभिन्न शब्दों में रुचि है जो मेरे साहित्य की खोज में मदद कर सकते हैं।