semi-decidability पर टैग किए गए जवाब

हमने कार्यों की गणना की अवधारणा के बारे में सीखा। व्यवहार में, वे प्रोग्रामिंग भाषाओं के अनुरूप हैं। एक गुजरती टिप्पणी में, प्रोफेसर ने उल्लेख किया कि सभी कुल कार्यों का वर्ग (अर्थात हर इनपुट के लिए हमेशा समाप्त होने वाले कार्य) उल्लेखनीय नहीं है । इसका मतलब यह होगा …

29 computability  semi-decidability  enumeration 

यदि प्राकृतिक संख्याओं के साथ एक आक्षेप होता है, तो एक सेट गणना योग्य होता है, और यदि एक एल्गोरिथ्म मौजूद होता है तो उसके सदस्यों की गणना करने के लिए यह गणना योग्य (सीयू) है । किसी भी गैर-परिमित गणना योग्य गणना के लिए गणना योग्य होनी चाहिए क्योंकि …

15 computability  semi-decidability 

बहुत सारी "प्रसिद्ध" अकल्पनीय समस्याएं कम से कम अर्ध-विचारणीय हैं, उनके पूरक के अयोग्य होने के साथ। इन सबसे ऊपर एक उदाहरण है, हॉल्टिंग की समस्या और इसका पूरक। हालाँकि, क्या कोई मुझे एक उदाहरण दे सकता है जिसमें कोई समस्या और उसका पूरक दोनों ही अनिर्णायक हैं और क्या …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability