रिकर्सिवली एन्युमरेबल लैंग्वेज: Difference between revisions

From Vigyanwiki
Line 18: Line 18:


==उदाहरण==
==उदाहरण==
ट्यूरिंग मशीनों को रोकने का सेट रिकर्सिवली एन्युमरेबल है किंतु पुनरावर्ती नहीं है। वास्तव में, कोई ट्यूरिंग मशीन चला सकता है और यदि मशीन रुकती है तो उसे स्वीकार कर सकता है, इसलिए यह रिकर्सिवली एन्युमरेबल है। दूसरी ओर समस्या अनिर्णीत है।
ट्यूरिंग मशीनों को रोकने का सेट रिकर्सिवली एन्युमरेबल है किंतु रिकर्सिव नहीं है। वास्तव में, कोई ट्यूरिंग मशीन चला सकता है और यदि मशीन रुकती है तो उसे स्वीकार कर सकता है, इसलिए यह रिकर्सिवली एन्युमरेबल है। दूसरी ओर समस्या अनिर्णीत है।


कुछ अन्य रिकर्सिवली एन्युमरेबल लैंग्वेज जो पुनरावर्ती नहीं हैं उनमें सम्मिलित हैं:
कुछ अन्य रिकर्सिवली एन्युमरेबल लैंग्वेज जो रिकर्सिव नहीं हैं उनमें सम्मिलित हैं:


* [[पोस्ट पत्राचार समस्या|पोस्ट करेस्पॉन्डेंस प्रॉब्लम]]
* [[पोस्ट पत्राचार समस्या|पोस्ट करेस्पॉन्डेंस प्रॉब्लम]]
*[[मृत्यु दर (कम्प्यूटेबिलिटी सिद्धांत)]]
*[[मृत्यु दर (कम्प्यूटेबिलिटी सिद्धांत)|मोर्टेलिटी (कम्प्यूटेबिलिटी सिद्धांत)]]
*[[निर्णय समस्या|एंट्सचीडुंग्स समस्या]]
*[[निर्णय समस्या|एंट्सचीडुंग्स समस्या]]


Line 34: Line 34:
* [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन(सेट सिद्धांत)]] <math>L \cap P</math>.
* [[प्रतिच्छेदन (सेट सिद्धांत)|प्रतिच्छेदन(सेट सिद्धांत)]] <math>L \cap P</math>.


रिकर्सिवली एन्युमरेबल लैंग्वेज सेट अंतर या पूरकता के अंतर्गत संवृत्त नहीं होती हैं। यदि <math>P</math> पुनरावर्ती है तो सेट अंतर <math>L - P</math>  पुनरावर्ती रूप से गणना योग्य है। यदि <math>L</math> रिकर्सिवली एन्युमरेबल है, तो <math>L</math> का पूरक रिकर्सिवली एन्युमरेबल है यदि और केवल यदि <math>L</math> भी पुनरावर्ती है।
रिकर्सिवली एन्युमरेबल लैंग्वेज सेट अंतर या पूरकता के अंतर्गत संवृत्त नहीं होती हैं। यदि <math>P</math> पुनरावर्ती है तो सेट अंतर <math>L - P</math>  रिकर्सिवली एन्युमरेबल है। यदि <math>L</math> रिकर्सिवली एन्युमरेबल है, तो <math>L</math> का पूरक रिकर्सिवली एन्युमरेबल है यदि और केवल यदि <math>L</math> भी रिकर्सिव है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 19:54, 20 July 2023

गणित, तर्क और कंप्यूटर विज्ञान में, एक औपचारिक भाषा को रिकर्सिवली एन्युमरेबल लैंग्वेज (मान्यता देने योग्य, अंशतः निर्धारणीय, अर्ध-निर्धारणीय, ट्यूरिंग-स्वीकार्य या ट्यूरिंग-मान्यता देने योग्य) कहा जाता है यदि यह भाषा के वर्णमाला (कंप्यूटर विज्ञान) के सभी संभावित शब्दों के सेट (गणित) में पुनरावर्ती रूप से गणना योग्य सेट है अर्थात्, यदि कोई ट्यूरिंग मशीन उपस्थित है जो भाषा के सभी वैध स्ट्रिंग की गणना करेगी।

औपचारिक भाषाओं के चॉम्स्की पदानुक्रम में रिकर्सिवली एन्युमरेबल लैंग्वेज को टाइप-0 भाषाओं के रूप में जाना जाता है। सभी नियमित भाषा, प्रसंग निरपेक्ष, प्रसंग सापेक्ष भाषा और पुनरावर्ती भाषाएँ पुनरावर्ती रूप से गणना योग्य हैं।

सभी रिकर्सिवली एन्युमरेबल लैंग्वेज के वर्ग को आरई (जटिलता) कहा जाता है।

परिभाषाएँ

रिकर्सिवली एन्युमरेबल लैंग्वेज की तीन समकक्ष परिभाषाएँ हैं:

  1. एक रिकर्सिवली एन्युमरेबल लैंग्वेज जो वर्णमाला पर सभी संभावित शब्दों के सेट(गणित) में एक पुनरावर्ती रूप से गणना योग्य उपसमुच्चय है।
  2. पुनरावर्ती गणना योग्य भाषा एक औपचारिक भाषा है जिसके लिए एक ट्यूरिंग मशीन (या अन्य गणना योग्य फ़ंक्शन) उपस्थित है जो भाषा के सभी मान्य स्ट्रिंग की गणना करेगी। ध्यान दें कि यदि भाषा अपरिमित है तो दी गई गणना एल्गोरिदम का चयन किया जा सकता है जिससे यह पुनरावर्तन से बच सके क्योंकि हम परीक्षण कर सकते हैं कि संख्या n के लिए निर्मित स्ट्रिंग "पहले से ही" उस संख्या के लिए निर्मित है जो n से कम है। यदि यह पहले से ही निर्मित है तो इसके स्थान पर इनपुट n+1 के लिए आउटपुट का उपयोग करें (पुनरावर्ती रूप से) किंतु पुनः परीक्षण करें कि क्या यह "नया" है।
  3. रिकर्सिवली एन्युमरेबल लैंग्वेज एक औपचारिक भाषा है जिसके लिए एक ट्यूरिंग मशीन (या अन्य गणना योग्य फ़ंक्शन) उपस्थित है जो इनपुट के रूप में भाषा में किसी भी स्ट्रिंग के साथ प्रस्तुत होने पर रुक जाएगी तथा स्वीकार कर लेगी, किंतु भाषा में एक स्ट्रिंग के साथ नहीं प्रस्तुत होने पर या तो रुक सकती है और अस्वीकार कर सकती है या सदैव के लिए लूप कर सकती है। इसकी तुलना पुनरावर्ती भाषाओं से करें जिनके लिए आवश्यक है कि ट्यूरिंग मशीन सभी स्थितियों में रुक जाए।

सभी नियमित भाषा, प्रसंग निरपेक्ष भाषा, प्रसंग सापेक्ष और पुनरावर्ती भाषाएँ रिकर्सिवली एन्युमरेबल हैं।

पोस्ट के प्रमेय से पता चलता है कि आरई अपने पूरक (जटिलता) सह-आरई के साथ अंकगणितीय पदानुक्रम के प्रथम स्तर के अनुरूप है।

उदाहरण

ट्यूरिंग मशीनों को रोकने का सेट रिकर्सिवली एन्युमरेबल है किंतु रिकर्सिव नहीं है। वास्तव में, कोई ट्यूरिंग मशीन चला सकता है और यदि मशीन रुकती है तो उसे स्वीकार कर सकता है, इसलिए यह रिकर्सिवली एन्युमरेबल है। दूसरी ओर समस्या अनिर्णीत है।

कुछ अन्य रिकर्सिवली एन्युमरेबल लैंग्वेज जो रिकर्सिव नहीं हैं उनमें सम्मिलित हैं:

संवृत्त गुण

रिकर्सिवली एन्युमरेबल लैंग्वेज(आरईएल) निम्नलिखित परिचालनों के अंतर्गत संवृत्त हैं। अर्थात्, यदि L और P दो रिकर्सिवली एन्युमरेबल लैंग्वेज हैं तो निम्नलिखित भाषाएँ भी रिकर्सिवली एन्युमरेबल हैं:

रिकर्सिवली एन्युमरेबल लैंग्वेज सेट अंतर या पूरकता के अंतर्गत संवृत्त नहीं होती हैं। यदि पुनरावर्ती है तो सेट अंतर रिकर्सिवली एन्युमरेबल है। यदि रिकर्सिवली एन्युमरेबल है, तो का पूरक रिकर्सिवली एन्युमरेबल है यदि और केवल यदि भी रिकर्सिव है।

यह भी देखें

  • संगणनीय रूप से गणना योग्य सेट
  • पुनरावर्तन

संदर्भ

  • Sipser, M. (1996), Introduction to the Theory of Computation, PWS Publishing Co.
  • Kozen, D.C. (1997), Automata and Computability, Springer.


बाहरी संबंध