अभिवादन। दिज्क्स्त्र ने लिखा है कि प्रतीत होता है कि सरल कोड की कुछ पंक्तियां भी अस्पष्ट रूप से अस्पष्ट हो सकती हैं। कम से कम एक काम में, जिसे मैं अब अपने जीवन को बचाने के लिए नहीं पा सकता हूं, उन्होंने इस अस्पष्टता को प्रदर्शित करने के लिए एक छोटा सा उदाहरण कार्यक्रम दिया। क्या कोई मुझे उसके एक कागज पर इंगित कर सकता है जहां वह इन उदाहरणों में से एक को शामिल करता है?
जवाबों:
इसे पढ़ें:
http://en.wikipedia.org/wiki/Halting_problem#Recognizing_partial_solutions
http://www.cs.ucsb.edu/~pconrad/cs40/08S/notes/ में अच्छा कवरेज है; "रुकने की समस्या" की खोज
आवश्यक पड़ाव विरोधाभास के कई रूप हैं।
def halts( code_block ):
# Some magical code
def whistler():
while halts(whistler):
sys.whistle( 1 )
क्या "व्हिसलर" सीटी शून्य है, एक बार या अनंत बार?
यदि halts()फ़ंक्शन निर्धारित करता है कि फ़ंक्शन whistlerरुक रहा है, तो फ़ंक्शन whistlerरुक नहीं सकता है।
यदि halts()फ़ंक्शन निर्धारित करता है कि फ़ंक्शन whistlerरुकता नहीं है, तो फ़ंक्शन whistlerरुकता है।
इसलिए, halts()फ़ंक्शन मौजूद नहीं हो सकता।
क्या आप सुनिश्चित हैं कि पेपर दीजकस्ट्रा द्वारा किया गया था? केन थॉम्पसन द्वारा ट्रस्टिंग ट्रस्ट पर विचार यह लगता है कि आप क्या सोच रहे थे। यह दर्शाता है कि कैसे बिल्कुल सरल, सीधा और सही कार्यक्रम कुछ बिल्कुल अप्रत्याशित कर सकता है जो स्रोत में बिल्कुल भी दिखाई नहीं देता है। यहां तक कि अगर यह आप के बारे में नहीं सोच रहा था, यह पढ़ने के लिए एक सार्थक कागज है।
एक अलग दिशा में जा रहे हैं, अगर आप आश्चर्यजनक व्यवहार के साथ छोटे कार्यक्रमों के उत्कृष्ट उदाहरण चाहते हैं, तो अंडरहैंड सी प्रतियोगिता महान है। उदाहरण के लिए 2008 के विजेता को देखें। एक तस्वीर के हिस्से को खाली करने के लिए एक कमांड लाइन प्रोग्राम लिखने की चुनौती थी, इस तरह से कि चित्र नेत्रहीन पूरी तरह से खाली हो गया था, लेकिन फ़ाइल छवि के नए हिस्से के बारे में कुछ जानकारी बरकरार रखती है। और इस तरह से कि आपका कोड कोड समीक्षा पास कर सके। (आप वह प्रारूप चुन सकते हैं जिसमें चित्र संग्रहीत है।)
FILE_NOT_FOUND;)