सर्किट मिनिमलाइज़ेशन किसी दिए गए सर्किट के आकार को कम करने के लिए समस्या है। क्या सामान्य कार्यक्रमों के लिए भी कुछ ऐसा ही है?
विशेष रूप से मेरा सवाल है -
क्या दिए गए प्रोग्राम के लिए निर्देशों के # को कम करने के लिए एल्गोरिदम मौजूद हैं। मुझे पता है कि यह एक अनिर्णायक समस्या है लेकिन मैं ऐसे समाधान की तलाश में नहीं हूं जो कुछ इष्टतम लौटाए।
जबकि एक यह पूरा करने के लिए preexisting संकलक परिवर्तनों को लागू कर सकता है, मैं कुछ ऐसी चीज़ों की तलाश कर रहा हूँ जहाँ मुझे पहले से खोज करने के लिए बहुत ही संकीर्ण परिवर्तनों और एल्गोरिदमों के एक सेट को परिभाषित करने की आवश्यकता नहीं है।
संपादित करें: मेरे पास दूसरा प्रश्न यह है कि क्या कोई एक कैलकुलस हो सकता है जो ध्वनि और पूर्ण है जो हमें इस तरह के शब्दार्थ समकक्ष कार्यक्रमों के पूरे स्थान का पता लगाने की अनुमति देता है या यह संभव नहीं है।