जनरल रिकर्सिव फंक्शन: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|One of several equivalent definitions of a computable function}} | {{Short description|One of several equivalent definitions of a computable function}} | ||
[[गणितीय तर्क]] और [[कंप्यूटर विज्ञान]] में, | [[गणितीय तर्क]] और [[कंप्यूटर विज्ञान]] में, '''जनरल रिकर्सिव फंक्शन''', पार्शियल रिकर्सिव फंक्शन, या μ-रिकर्सिव फ़ंक्शन [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] से प्राकृतिक संख्याओं तक पार्शियल फ़ंक्शन है, जो सहज ज्ञान युक्त अर्थ में गणना योग्य है - इसके साथ ही गणना योग्य फ़ंक्शन में भी इसका उपयोग करता हैं। यदि फ़ंक्शन कुल फंक्शन को प्रदर्शित करता है, तो इसे टोटल रिकर्सिव फ़ंक्शन भी कहा जाता है, इसका आधार पर कभी-कभी रिकर्सिव फ़ंक्शन के लिए इसे छोटा कर दिया जाता है।<ref>{{Cite book|chapter-url=https://plato.stanford.edu/entries/recursive-functions/#PartRecuFuncPartRecuFuncREC|title = द स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी|chapter = Recursive Functions|year = 2021|publisher = Metaphysics Research Lab, Stanford University}}</ref> इस प्रकार कम्प्यूटेबिलिटी सिद्धांत (गणना) में, यह दिखाया गया है कि μ-रिकर्सिव फ़ंक्शन सटीक रूप से ऐसे फ़ंक्शन हैं, जिनकी गणना [[ट्यूरिंग मशीन]] द्वारा की जा सकती है,<ref>[[Stanford Encyclopedia of Philosophy]], Entry [http://plato.stanford.edu/entries/recursive-functions Recursive Functions], Sect.1.7: "[The class of μ-recursive functions] ''turns out to coincide with the class of the Turing-computable functions introduced by Alan Turing as well as with the class of the λ-definable functions introduced by Alonzo Church.''"</ref>{{#tag:ref|{{cite journal | jstor=2268280 |first=Alan Mathison |last=Turing | author-link=Alan Turing | title=Computability and λ-Definability | journal=[[Journal of Symbolic Logic]] | volume=2 | number=4 | pages=153–163 | date=Dec 1937 |doi=10.2307/2268280 |s2cid=2317046 }} Proof outline on p.153: <math>\lambda\mbox{-definable}</math> <math>\stackrel{triv}{\implies}</math> <math>\lambda\mbox{-}K\mbox{-definable}</math> <math>\stackrel{160}{\implies}</math> <math>\mbox{Turing computable}</math> <math>\stackrel{161}{\implies}</math> <math>\mu\mbox{-recursive}</math> <math>\stackrel{Kleene}{\implies}</math><ref>{{cite journal | url=https://projecteuclid.org/euclid.dmj/1077489488 |first=Stephen C. |last=Kleene | author-link=Stephen C. Kleene | title=λ-definability and recursiveness | journal=[[Duke Mathematical Journal]] | volume=2 | number=2 | pages=340–352 |year=1936 | doi=10.1215/s0012-7094-36-00227-2}}</ref> <math>\lambda\mbox{-definable}</math>}} यह उन प्रमेयों में से प्रमुख है, जो चर्च-ट्यूरिंग थीसिस का समर्थन करता है। इसके आधार पर μ-रिकर्सिव फ़ंक्शन [[आदिम पुनरावर्ती कार्य|रिकर्सिव फ़ंक्शन]] की निकटता से संबंधित हैं, और उनकी आगमनात्मक परिभाषा (नीचे) स्यूडो रिकर्सिव फ़ंक्शन पर आधारित है। चूंकि, प्रत्येक टोटल रिकर्सिव फ़ंक्शन स्यूडो रिकर्सिव फ़ंक्शन नहीं है - इसका सबसे प्रसिद्ध उदाहरण [[एकरमैन फ़ंक्शन]] है। | ||
फ़ंक्शंस के अन्य समकक्ष | फ़ंक्शंस के अन्य समकक्ष स्क्वायर [[लैम्ब्डा कैलकुलस]] के फ़ंक्शंस हैं, जिनकी गणना [[मार्कोव एल्गोरिथ्म]] द्वारा की जा सकती है। | ||
मानों के साथ सभी | मानों के साथ सभी टोटल रिकर्सिव फ़ंक्शन का उपसमूह {{math|{{mset|0,1}}}} को [[कम्प्यूटेशनल जटिलता सिद्धांत|कम्प्यूटेशनल काॅम्पलेक्सिटी थ्योरी]] में [[आर (जटिलता)|r (काॅम्पलेक्सिटी)]] के रूप में जाना जाता है। | ||
==परिभाषा== | ==परिभाषा== | ||
μ- | μ-रिकर्सिव फ़ंक्शन (या सामान्य रिकर्सिव फ़ंक्शन) पार्शियल फंक्शन हैं, जो प्राकृतिक संख्याओं के सीमित टपल्स लेते हैं और एकल प्राकृतिक संख्या लौटाते हैं। वे पार्शियल फंक्शन का सबसे छोटा वर्ग हैं, जिसमें प्रारंभिक फ़ंक्शंस सम्मिलित होते हैं और संरचना, स्यूडो रिकर्सन और μ ऑपरेटर या मिनिमाइजेशन ऑपरेटर {{mvar|μ}} के अनुसार विवृत है। | ||
प्रारंभिक कार्यों सहित कार्यों का सबसे छोटा वर्ग और संरचना और | प्रारंभिक कार्यों सहित कार्यों का सबसे छोटा वर्ग और संरचना और स्यूडो पुनरावर्तन के अनुसार विवृत (अर्थात मिनिमाइजेशन के अतिरिक्त) [[आदिम पुनरावर्ती कार्य|स्यूडो रिकर्सिव]] फ़ंक्शन का वर्ग है। जबकि सभी स्यूडो रिकर्सिव फ़ंक्शन यहाँ पर इसका कुल भाग हैं, यह पार्शियल रिकर्सिव फ़ंक्शन के लिए सत्य नहीं है, उदाहरण के लिए, सक्सेसर फंक्शन का मिनिमाइजेशन अपरिभाषित है। इसके आधार पर स्यूडो रिकर्सिव फ़ंक्शन टोटल रिकर्सिव फ़ंक्शन का उपसमूह हैं, जो पार्शियल रिकर्सिव फ़ंक्शन का उपसमूह हैं। उदाहरण के लिए, एकरमैन फ़ंक्शन को पूर्ण रिकर्सिव और गैर-स्यूडो प्रमाणित किया जा सकता है। | ||
स्यूडो या जनरल फंक्शन: | |||
# | #काॅन्ट्यूनिटी फंक्शन {{mvar|C{{su|b=n|p=k}}}}: प्रत्येक प्राकृतिक संख्या के लिए {{mvar|n}} और हर का मान {{mvar|k}} हैं। | ||
#::<math>C_n^k(x_1,\ldots,x_k) \ \stackrel{\mathrm{def}}{=}\ n</math> | #::<math>C_n^k(x_1,\ldots,x_k) \ \stackrel{\mathrm{def}}{=}\ n</math> | ||
#:वैकल्पिक परिभाषाएँ शून्य फ़ंक्शन का उपयोग | #:वैकल्पिक परिभाषाएँ शून्य फ़ंक्शन का उपयोग स्यूडो फ़ंक्शन के रूप में करती हैं, जो सदैव शून्य लौटाता है, और शून्य फ़ंक्शन, सक्सेसर फंक्शन और कंपोज़िशन ऑपरेटर से काॅन्ट्यूनिटी फंक्शन का निर्माण करता है। | ||
# | # सक्सेसर फंक्शन S: | ||
#::<math>S(x) \ \stackrel{\mathrm{def}}{=}\ x + 1\,</math> | #::<math>S(x) \ \stackrel{\mathrm{def}}{=}\ x + 1\,</math> | ||
# | # प्रोजेक्शन फंक्शन <math>P_i^k</math> (आइडेंटिकल फ़ंक्शन भी कहा जाता है): सभी प्राकृतिक संख्याओं के लिए <math>i, k</math> ऐसा है कि <math>1\le i\le k</math>: | ||
#::<math>P_i^k(x_1,\ldots,x_k) \ \stackrel{\mathrm{def}}{=}\ x_i \, .</math> | #::<math>P_i^k(x_1,\ldots,x_k) \ \stackrel{\mathrm{def}}{=}\ x_i \, .</math> | ||
ऑपरेटर्स (ऑपरेटर द्वारा परिभाषित फ़ंक्शन का डोमेन तर्कों के मानों का सेट है, जैसे कि गणना के दौरान किया जाने वाला प्रत्येक फ़ंक्शन एप्लिकेशन अच्छी तरह से परिभाषित परिणाम प्रदान करता है): | ऑपरेटर्स (ऑपरेटर द्वारा परिभाषित फ़ंक्शन का डोमेन तर्कों के मानों का सेट है, जैसे कि गणना के दौरान किया जाने वाला प्रत्येक फ़ंक्शन एप्लिकेशन को अच्छी तरह से परिभाषित करने के बाद उपयुक्त परिणाम प्रदान करता है): | ||
# | # कंपोजीशन आपरेटर <math>\circ\,</math> (प्रतिस्थापन ऑपरेटर भी कहा जाता है): एम-एरे फ़ंक्शन दिया गया है, इसके आधार पर <math>h(x_1,\ldots,x_m)\,</math> और एम के-ऐरे फंक्शन <math>g_1(x_1,\ldots,x_k),\ldots,g_m(x_1,\ldots, x_k)</math>: | ||
#::<math>h \circ (g_1, \ldots, g_m) \ \stackrel{\mathrm{def}}{=}\ f, \quad\text{where}\quad f(x_1,\ldots,x_k) = h(g_1(x_1,\ldots,x_k),\ldots,g_m(x_1,\ldots,x_k)).</math> | #::<math>h \circ (g_1, \ldots, g_m) \ \stackrel{\mathrm{def}}{=}\ f, \quad\text{where}\quad f(x_1,\ldots,x_k) = h(g_1(x_1,\ldots,x_k),\ldots,g_m(x_1,\ldots,x_k)).</math> | ||
#: | #:इसका अर्थ है कि <math>f(x_1,\ldots,x_k)</math> केवल तभी परिभाषित किया गया है, इसके आधार पर <math>g_1(x_1,\ldots,x_k),\ldots, g_m(x_1,\ldots,x_k),</math> और <math>h(g_1(x_1,\ldots,x_k),\ldots,g_m(x_1,\ldots,x_k))</math> सभी परिभाषित हैं। | ||
# | # स्यूडो रिकर्सन ऑपरेटर {{mvar|ρ}}: k-ary फ़ंक्शन को देखते हुए <math>g(x_1,\ldots,x_k)\,</math> और k+2-ऐरे फंक्शन <math>h(y,z,x_1,\ldots,x_k)\,</math>: | ||
#::<math>\begin{align} | #::<math>\begin{align} | ||
\rho(g, h) &\ \stackrel{\mathrm{def}}{=}\ f \quad\text{where the k+1 -ary function } f \text{ is defined by}\\ | \rho(g, h) &\ \stackrel{\mathrm{def}}{=}\ f \quad\text{where the k+1 -ary function } f \text{ is defined by}\\ | ||
f(0,x_1,\ldots,x_k) &= g(x_1,\ldots,x_k) \\ | f(0,x_1,\ldots,x_k) &= g(x_1,\ldots,x_k) \\ | ||
f(S(y),x_1,\ldots,x_k) &= h(y,f(y,x_1,\ldots,x_k),x_1,\ldots,x_k)\,.\end{align}</math> | f(S(y),x_1,\ldots,x_k) &= h(y,f(y,x_1,\ldots,x_k),x_1,\ldots,x_k)\,.\end{align}</math> | ||
#:इस का | #:इस का अर्थ है कि <math>f(y,x_1,\ldots,x_k)</math> केवल तभी परिभाषित किया गया है, <math>g(x_1,\ldots,x_k)</math> और <math>h(z,f(z,x_1,\ldots,x_k),x_1,\ldots,x_k)</math> सभी के लिए <math>z<y.</math> के अनुसार परिभाषित किया गया हैं। | ||
# | #मिनिमाइजेशन ऑपरेटर {{mvar|μ}}: (k+1)-ऐरे फंक्शन दिया गया है <math>f(y, x_1, \ldots, x_k)\,</math>, के-ऐरे फंक्शन <math>\mu(f)</math> द्वारा परिभाषित किया गया है: | ||
#::<math>\begin{align} | #::<math>\begin{align} | ||
\mu(f)(x_1, \ldots, x_k) = z \stackrel{\mathrm{def}}{\iff}\ f(i, x_1, \ldots, x_k)&>0 \quad \text{for}\quad i=0, \ldots, z-1 \quad\text{and}\\ | \mu(f)(x_1, \ldots, x_k) = z \stackrel{\mathrm{def}}{\iff}\ f(i, x_1, \ldots, x_k)&>0 \quad \text{for}\quad i=0, \ldots, z-1 \quad\text{and}\\ | ||
f(z, x_1, \ldots, x_k)&=0\quad | f(z, x_1, \ldots, x_k)&=0\quad | ||
\end{align}</math> | \end{align}</math> | ||
सहजता से, मिनिमाइजेशन खोजता है- इसके आधार पर 0 से खोज प्रारंभ करना और ऊपर की ओर बढ़ता हैं- इसका सबसे छोटा तर्क जो फ़ंक्शन को शून्य पर लौटने का कारण बनता है, यदि ऐसा कोई तर्क नहीं है, या यदि कोई किसी तर्क का सामना करता है जिसके लिए {{mvar|f}} परिभाषित नहीं है, तो खोज कभी समाप्त नहीं होती, और <math> \mu(f)</math> तर्क के लिए <math>(x_1, \ldots, x_k).</math> द्वारा परिभाषित नहीं करता है। | |||
[[मजबूत समानता]] ऑपरेटर <math>\simeq</math> | जबकि कुछ लाइब्रेरी में μ-ऑपरेटर का उपयोग किया जाता हैं, जैसा कि यहां परिभाषित किया गया है,<ref name="Enderton.1972">Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1972</ref><ref name="Boolos.Burgess.Jeffrey.2007">Boolos, G. S., Burgess, J. P., Jeffrey, R. C., Computability and Logic, Cambridge University Press, 2007</ref> यह मान इसके अतिरिक्त उपयोग किया जा सकता है।<ref name="Jones.1997">Jones, N. D., Computability and Complexity: From a Programming Perspective, The MIT Press, Cambridge, Massachusetts, London, England, 1997</ref><ref>Kfoury, A. J., R. N. Moll, and M. A. Arbib, A Programming Approach to Computability, 2nd ed., Springer-Verlag, Berlin, Heidelberg, New York, 1982</ref> यहाँ पर μ-ऑपरेटर को टोटल फंक्शन पर {{mvar|f}} के द्वारा लागू किया जाता हैं। यद्यपि यह यहां दी गई परिभाषा की तुलना में μ-ऑपरेटर को प्रतिबंधित करता है, इसका μ-रिकर्सिव फ़ंक्शन का वर्ग समान रहता है, जो क्लेन के सामान्य फॉर्म प्रमेय (सामान्य फॉर्म प्रमेय देखें) जिससे इसका अनुसरण करते हैं।<ref name="Enderton.1972" /><ref name="Boolos.Burgess.Jeffrey.2007" /> इस प्रकार इसका एकमात्र अंतर यह है कि यह अनिर्णीत को प्रदान करता है कि क्या विशिष्ट फ़ंक्शन परिभाषा μ-रिकर्सिव फ़ंक्शन को परिभाषित करती है, क्योंकि यह अनिर्णीत है कि क्या गणना योग्य (अर्ताथ μ-रिकर्सिव) फ़ंक्शन कुल है।<ref name="Jones.1997" /> | ||
:<math>f(x_1,\ldots,x_k) \simeq g(x_1,\ldots,x_l)</math> यदि और केवल तभी मान्य है जब तर्कों के किसी भी विकल्प के लिए या तो दोनों फ़ंक्शन परिभाषित हैं और उनके मान समान हैं या दोनों फ़ंक्शन अपरिभाषित हैं। | |||
[[मजबूत समानता|स्ट्रांग इक्ववैलिटी]] ऑपरेटर <math>\simeq</math> पार्शियल μ-रिकर्सिव फ़ंक्शन की तुलना करने के लिए उपयोग किया जा सकता है। इसे सभी आंशिक फलनों f और g के लिए परिभाषित किया गया है। | |||
:<math>f(x_1,\ldots,x_k) \simeq g(x_1,\ldots,x_l)</math> यदि और केवल तभी मान्य है, जब तर्कों के किसी भी विकल्प के लिए या तो दोनों फ़ंक्शन परिभाषित हैं और उनके मान समान हैं या दोनों फ़ंक्शन अपरिभाषित हैं। | |||
==उदाहरण== | ==उदाहरण== | ||
मिनिमाइज़ेशन ऑपरेटर को | मिनिमाइज़ेशन ऑपरेटर को सम्मिलित न करने वाले उदाहरण स्यूडो रिकर्सिव फ़ंक्शन उदाहरण पर पाए जा सकते हैं। | ||
निम्नलिखित उदाहरणों का उद्देश्य केवल | निम्नलिखित उदाहरणों का उद्देश्य केवल मिनिमाइजेशन ऑपरेटर के उपयोग को प्रदर्शित करना है, उन्हें इसके बिना भी परिभाषित किया जा सकता है, यद्यपि अधिक काॅम्प्लेक्स प्रोसेस से, क्योंकि वे सभी स्यूडो रिकर्सिव हैं। | ||
{{unordered list | {{unordered list | ||
| | |[[पूर्णांक वर्गमूल]] का {{mvar|x}} न्यूनतम {{mvar|z}} के रूप में परिभाषित किया जा सकता है, इस प्रकार यह मान इस प्रकार है कि <math>(z+1)^2 > x</math> न्यूनतमकरण ऑपरेटर का उपयोग करते हुए, एक सामान्य पुनरावर्ती परिभाषा है <math>\operatorname{Isqrt} = \mu(\operatorname{Not} \circ \operatorname{Gt} \circ (\operatorname{Mul} \circ (S \circ P_1^2,S \circ P_1^2), P_2^2))</math>, जहाँ {{math|Not}}, {{math|Gt}}, and {{math|Mul}} [[लाॅजिकल निगेशन]], इससे बड़ा, और गुणा,<ref>defined in [[Primitive recursive function#Junctors]], [[Primitive recursive function#Equality predicate]], and [[Primitive recursive function#Multiplication]]</ref> वास्तविकता में, <math>(\operatorname{Not} \circ \operatorname{Gt} \circ (\operatorname{Mul} \circ (S \circ P_1^2,S \circ P_1^2), P_2^2)) \; (z,x) = (\lnot S(z)*S(z) > x)</math> is {{val|0}} यदि <math>S(z)*S(z) > x</math> उपयोग करता हैं। जहाँ पर <math>\operatorname{Isqrt}(x)</math> is the least {{mvar|z}} जिसके लिए <math>S(z)*S(z) > x</math> उपयोग करता हैँ। निषेध [[जंक्टर]] {{math|Not}} से आवश्यकता है{{math|Gt}} सत्य को एन्कोड करता है, {{val|1}}, जबकि {{mvar|μ}} {{val|0}} ढूंढता है। | ||
}} | }} | ||
निम्नलिखित उदाहरण सामान्य | निम्नलिखित उदाहरण सामान्य रिकर्सिव फ़ंक्शन को परिभाषित करते हैं जो स्यूडो रिकर्सिव नहीं हैं, इसलिए वे मिनिमाइजेशन ऑपरेटर का उपयोग करने से बच नहीं सकते हैं। | ||
== | == टोटल रिकर्सिव फ़ंक्शन == | ||
यह ऐसा जनरल रिकर्सिव फंक्शन हैं, जिसको टोटल रिकर्सिव फ़ंक्शन कहा जाता है, यदि इसे प्रत्येक इनपुट के लिए परिभाषित किया गया है, या समकक्ष, यदि इसकी गणना [[कुल ट्यूरिंग मशीन]] द्वारा की जा सकती है। गणनात्मक रूप से यह बताने की कोई विधि नहीं है, कि दिया गया सामान्य रिकर्सिव फ़ंक्शन पूर्ण है या नहीं ''हॉल्टिंग समस्या'' देखें। | |||
== संगणना के अन्य मॉडलों के साथ समतुल्यता == | == संगणना के अन्य मॉडलों के साथ समतुल्यता == | ||
चर्च की थीसिस में, ट्यूरिंग मशीनों के बीच समानांतर रेखा खींची जाती है जो कुछ इनपुट के लिए समाप्त नहीं होती है और संबंधित | चर्च की इस थीसिस में, ट्यूरिंग मशीनों के बीच समानांतर रेखा खींची जाती है जो कुछ इनपुट के लिए समाप्त नहीं होती है और संबंधित पार्शियल रिकर्सिव फंक्शन में उस इनपुट के लिए अपरिभाषित परिणाम होता है। | ||
अनबाउंड सर्च ऑपरेटर स्यूडो रिकर्सन के नियमों द्वारा परिभाषित नहीं है क्योंकि वे इनफाइनाइट लूप (अपरिभाषित मान) के लिए सिस्टम प्रदान नहीं करते हैं। | |||
== सामान्य रूपी प्रमेय == | |||
[[मार्विन मिंस्की]] इसका निरीक्षण करते हैं <math>U</math> ऊपर परिभाषित संक्षेप में सार्वभौमिक ट्यूरिंग मशीन के μ- | क्लेन का t विधेय क्लीन के कारण सामान्य रूप प्रमेय कहता है कि प्रत्येक k के लिए स्यूडो रिकर्सिव फ़ंक्शन <math>U(y)\!</math> और <math>T(y,e,x_1,\ldots,x_k)\!</math> हैं। यह इस प्रकार हैं कि किसी भी μ-रिकर्सिव फ़ंक्शन के लिए <math>f(x_1,\ldots,x_k)\!</math> k मुक्त चर के साथ e ऐसा है- | ||
{{blockquote |text= | :<math>f(x_1,\ldots,x_k) \simeq U(\mu(T)(e,x_1,\ldots,x_k))</math> | ||
फ़ंक्शन f के लिए संख्या e को इंडेक्स या गोडेल नंबर कहा जाता है।<ref>{{cite journal | doi=10.1090/S0002-9947-1943-0007371-8 | url=https://www.ams.org/journals/tran/1943-053-01/S0002-9947-1943-0007371-8/S0002-9947-1943-0007371-8.pdf | author=Stephen Cole Kleene | title=पुनरावर्ती विधेय और परिमाणक| journal=Transactions of the American Mathematical Society | volume=53 | number=1 | pages=41–73 | date=Jan 1943 | doi-access=free }}</ref>{{rp|52–53}} इस परिणाम का परिणाम यह है कि किसी भी μ-रिकर्सिव फ़ंक्शन को (कुल) स्यूडो रिकर्सिव फ़ंक्शन पर लागू μ ऑपरेटर के एकल उदाहरण का उपयोग करके परिभाषित किया जा सकता है। | |||
[[मार्विन मिंस्की]] इसका निरीक्षण करते हैं <math>U</math> ऊपर परिभाषित संक्षेप में सार्वभौमिक ट्यूरिंग मशीन के μ-रिकर्सिव समकक्ष है: | |||
{{blockquote |text=यू का निर्माण करने के लिए एक सामान्य-पुनरावर्ती फ़ंक्शन यू (एन, एक्स) की परिभाषा लिखना है जो संख्या एन की सही व्याख्या करता है और एक्स के उचित फ़ंक्शन की गणना करता है। यू को सीधे बनाने में अनिवार्य रूप से उतना ही प्रयास, ''और मूल रूप से वही विचार'' शामिल होंगे, जितना हमने यूनिवर्सल ट्यूरिंग मशीन के निर्माण में निवेश किया है। {{sfn|Minsky|1972|pp=189}}}} | |||
== प्रतीकवाद == | == प्रतीकवाद == | ||
साहित्य में अनेक प्रकार के प्रतीकों का प्रयोग किया जाता है। प्रतीकवाद का उपयोग करने का फायदा यह है कि ऑपरेटरों को के अंदर करके फ़ंक्शन की व्युत्पत्ति की जाती है, जिसे कॉम्पैक्ट रूप में लिखना | साहित्य में अनेक प्रकार के प्रतीकों का प्रयोग किया जाता है। प्रतीकवाद का उपयोग करने का फायदा यह है कि ऑपरेटरों को के अंदर करके फ़ंक्शन की व्युत्पत्ति की जाती है, जिसे कॉम्पैक्ट रूप में लिखना सरल होता है। निम्नलिखित में पैरामीटर्स की स्ट्रिंग x<sub>1</sub>, ..., x<sub>n</sub> इसे x के रूप में संक्षिप्त किया गया है: | ||
* '' | * ''काॅन्ट्यूनिटी फंक्शन'': क्लेन c{{su|b=q|p=n}}(x) = q का उपयोग करता है, और बूलोस-बर्गेस-जेफरी (2002) (b-b-j) संक्षिप्त नाम const<sub>n</sub>( x) = n का उपयोग करते हैं: | ||
:: | :: उदाहरण के लिए c{{su|b=13|p=7}} (r, s, t, u, v, w, x) = 13 | ||
:: उदा. | :: उदा. const<sub>13</sub> (r, s, t, u, v, w, x) = 13 | ||
* | * सक्सेसर फंक्शन: क्लेन सक्सेसर के लिए x' और S का उपयोग करता है। चूंकि सक्सेसर को स्यूडो माना जाता है, अधिकांश ग्रंथ एपॉस्ट्रॉफ़ी का उपयोग इस प्रकार करते हैं: | ||
:: | :: s(a) = a +1 =<sub>def</sub> a', जहां 1 =<sub>def</sub> 0', 2 =<sub>def</sub> 0 '', आदि। | ||
* | * आइडेंटिटी फंक्शन: क्लेन (1952) u{{su|b=i|p=n}} का उपयोग करता है वेरिएबल x<sub>i</sub> पर आइडेंटिटी फंक्शन को इंगित करने के लिए, b-b-j{{su|b=i|p=n}} चर x<sub>1</sub> पर x<sub>n</sub> को आइडेंटिटी फंक्शन id का उपयोग करें: | ||
: | : u{{su|b=i|p=n}}( x ) = id{{su|b=i|p=n}}( x ) = x<sub>i</sub> : जैसे u{{su|b=3|p=7}} = id{{su|b=3|p=7}} (r, s, t, u, v, w, x) = t | ||
* रचना (प्रतिस्थापन) ऑपरेटर: क्लेन बोल्ड-फेस ' | * रचना (प्रतिस्थापन) ऑपरेटर: क्लेन बोल्ड-फेस 's'{{su|b=n|p=m}} का उपयोग करता है, उसके सक्सेसर के साथ भ्रमित न हों!। इस प्रकार सुपरस्क्रिप्ट m, m<sup>f</sup><sub>m</sub> को संदर्भित करता है, जबकि इस प्रकार सबस्क्रिप्ट n, n वेरिएबल x<sub>n</sub> को संदर्भित करता है : | ||
:यदि हमें h(x)=g(f) दिया गया है<sub>1</sub>( | :यदि हमें h(x)=g(f) दिया गया है<sub>1</sub>(x), ..., f<sub>m</sub>(x) ) | ||
:: | :: h(x) = s{{su|b=m|p=n}}(g, f<sub>1</sub>, ... , f<sub>m</sub> ) | ||
:इसी | :इसी प्रकार, उप- और सुपरस्क्रिप्ट के बिना, b-b-j लिखते हैं: | ||
:: h(x')= Cn[g, f<sub>1</sub> ,..., | :: h(x')= Cn[g, f<sub>1</sub> ,..., f<sub>m</sub>](x) | ||
* '' | * ''स्यूडो पुनरावर्तन'': क्लेन प्रतीक r<sup>n</sup> का उपयोग करता है(बेस स्टेप, इंडक्शन स्टेप) जहां n वेरिएबल्स की संख्या को इंगित करता है, इस प्रकार b-b-j Pr(बेस स्टेप, इंडक्शन स्टेप)(x) का उपयोग करते हैं। जो इस प्रकार दिया गया हैं: | ||
:* आधार चरण: h( 0, x )= f( x ), और | :* आधार चरण: h( 0, x )= f( x ), और | ||
:* प्रेरण चरण: h( y+1, x ) = g( y, h(y, x),x ) | :* प्रेरण चरण: h( y+1, x ) = g( y, h(y, x),x ) | ||
: उदाहरण: | : उदाहरण: a + b का स्यूडो रिकर्सन परिभाषा: | ||
::* आधार चरण: f( 0, a ) = a = U{{su|b=1|p=1}}( | ::* आधार चरण: f( 0, a ) = a = U{{su|b=1|p=1}}(a) | ||
::* प्रेरण चरण: f( b' , a ) = ( f ( b, a ) )' = g( b, f( b, a), a ) = g( b, c, a ) = c' = S(U{{su|b=2|p=3}}( | ::* प्रेरण चरण: f( b' , a ) = ( f ( b, a ) )' = g( b, f( b, a), a ) = g( b, c, a ) = c' = S(U{{su|b=2|p=3}}(b, c, a)) | ||
::: | ::: r<sup>2</sup>{ u{{su|b=1|p=1}}(a), S [ (U{{su|b=2|p=3}}( b, c, a ) ] } | ||
::: | ::: {u{{su|b=1|p=1}}(a), s[(u{{su|b=2|p=3}}(b, c, a) ] } | ||
उदाहरण: क्लेन उदाहरण देता है कि f(b, a) = b + a की | उदाहरण: क्लेन उदाहरण देता है कि f(b, a) = b + a की रिकर्सिव व्युत्पत्ति वेरिएबल a और b की व्युत्क्रम नोटिस को कैसे करें। वह 3 प्रारंभिक कार्यों से प्रारंभ करता है | ||
:# | :# s(a) = a' | ||
:# | :# u{{su|b=1|p=1}}(a) = a | ||
:# | :# u{{su|b=2|p=3}}(b, c, a) = c | ||
:# | :# g(b, c, a) = s(u{{su|b=2|p=3}}(b, c, a)) = c' | ||
:# आधार चरण: h( 0, a ) = U{{su|b=1|p=1}}( | :# आधार चरण: h( 0, a ) = U{{su|b=1|p=1}}(a) | ||
:: प्रेरण चरण: | :: प्रेरण चरण: h(b', a) = g(b, h(b, a), a) | ||
वह यहां पहुंचता है: | वह यहां पहुंचता है: | ||
:: | :: a+b = r<sup>2</sup>[u{{su|b=1|p=1}}, s{{su|b=1|p=3}}(s, u{{su|b=2|p=3}}) ] | ||
==उदाहरण== | ==उदाहरण== | ||
* [[फाइबोनैचि संख्या]] | * [[फाइबोनैचि संख्या|फाइबोनैचि नंबर]] | ||
* [[मैक्कार्थी 91 फ़ंक्शन]] | * [[मैक्कार्थी 91 फ़ंक्शन]] | ||
==यह भी देखें== | ==यह भी देखें== | ||
* | *रिकर्सन थ्योरी | ||
* [[प्रत्यावर्तन]] | * [[प्रत्यावर्तन|रिकर्सन]] | ||
* [[रिकर्सन (कंप्यूटर विज्ञान)]] | * [[रिकर्सन (कंप्यूटर विज्ञान)]] | ||
Line 129: | Line 132: | ||
*[http://people.irisa.fr/Francois.Schwarzentruber/recursive_functions_to_turing_machines/ A compiler for transforming a recursive function into an equivalent Turing machine] | *[http://people.irisa.fr/Francois.Schwarzentruber/recursive_functions_to_turing_machines/ A compiler for transforming a recursive function into an equivalent Turing machine] | ||
{{DEFAULTSORT:Mu-Recursive Function}} | {{DEFAULTSORT:Mu-Recursive Function}} | ||
[[ru:Рекурсивная функция (теория вычислимости)#Частично рекурсивная функция]] | [[ru:Рекурсивная функция (теория вычислимости)#Частично рекурсивная функция]] | ||
[[Category:Created On 27/07/2023|Mu-Recursive Function]] | |||
[[Category:Lua-based templates|Mu-Recursive Function]] | |||
[[Category: Machine Translated Page]] | [[Category:Machine Translated Page|Mu-Recursive Function]] | ||
[[Category: | [[Category:Pages with script errors|Mu-Recursive Function]] | ||
[[Category:Short description with empty Wikidata description|Mu-Recursive Function]] | |||
[[Category:Templates Vigyan Ready|Mu-Recursive Function]] | |||
[[Category:Templates that add a tracking category|Mu-Recursive Function]] | |||
[[Category:Templates that generate short descriptions|Mu-Recursive Function]] | |||
[[Category:Templates using TemplateData|Mu-Recursive Function]] | |||
[[Category:कम्प्यूटेबिलिटी सिद्धांत|Mu-Recursive Function]] | |||
[[Category:गणना का सिद्धांत|Mu-Recursive Function]] |
Latest revision as of 12:07, 18 August 2023
गणितीय तर्क और कंप्यूटर विज्ञान में, जनरल रिकर्सिव फंक्शन, पार्शियल रिकर्सिव फंक्शन, या μ-रिकर्सिव फ़ंक्शन प्राकृतिक संख्याओं से प्राकृतिक संख्याओं तक पार्शियल फ़ंक्शन है, जो सहज ज्ञान युक्त अर्थ में गणना योग्य है - इसके साथ ही गणना योग्य फ़ंक्शन में भी इसका उपयोग करता हैं। यदि फ़ंक्शन कुल फंक्शन को प्रदर्शित करता है, तो इसे टोटल रिकर्सिव फ़ंक्शन भी कहा जाता है, इसका आधार पर कभी-कभी रिकर्सिव फ़ंक्शन के लिए इसे छोटा कर दिया जाता है।[1] इस प्रकार कम्प्यूटेबिलिटी सिद्धांत (गणना) में, यह दिखाया गया है कि μ-रिकर्सिव फ़ंक्शन सटीक रूप से ऐसे फ़ंक्शन हैं, जिनकी गणना ट्यूरिंग मशीन द्वारा की जा सकती है,[2][4] यह उन प्रमेयों में से प्रमुख है, जो चर्च-ट्यूरिंग थीसिस का समर्थन करता है। इसके आधार पर μ-रिकर्सिव फ़ंक्शन रिकर्सिव फ़ंक्शन की निकटता से संबंधित हैं, और उनकी आगमनात्मक परिभाषा (नीचे) स्यूडो रिकर्सिव फ़ंक्शन पर आधारित है। चूंकि, प्रत्येक टोटल रिकर्सिव फ़ंक्शन स्यूडो रिकर्सिव फ़ंक्शन नहीं है - इसका सबसे प्रसिद्ध उदाहरण एकरमैन फ़ंक्शन है।
फ़ंक्शंस के अन्य समकक्ष स्क्वायर लैम्ब्डा कैलकुलस के फ़ंक्शंस हैं, जिनकी गणना मार्कोव एल्गोरिथ्म द्वारा की जा सकती है।
मानों के साथ सभी टोटल रिकर्सिव फ़ंक्शन का उपसमूह {0,1} को कम्प्यूटेशनल काॅम्पलेक्सिटी थ्योरी में r (काॅम्पलेक्सिटी) के रूप में जाना जाता है।
परिभाषा
μ-रिकर्सिव फ़ंक्शन (या सामान्य रिकर्सिव फ़ंक्शन) पार्शियल फंक्शन हैं, जो प्राकृतिक संख्याओं के सीमित टपल्स लेते हैं और एकल प्राकृतिक संख्या लौटाते हैं। वे पार्शियल फंक्शन का सबसे छोटा वर्ग हैं, जिसमें प्रारंभिक फ़ंक्शंस सम्मिलित होते हैं और संरचना, स्यूडो रिकर्सन और μ ऑपरेटर या मिनिमाइजेशन ऑपरेटर μ के अनुसार विवृत है।
प्रारंभिक कार्यों सहित कार्यों का सबसे छोटा वर्ग और संरचना और स्यूडो पुनरावर्तन के अनुसार विवृत (अर्थात मिनिमाइजेशन के अतिरिक्त) स्यूडो रिकर्सिव फ़ंक्शन का वर्ग है। जबकि सभी स्यूडो रिकर्सिव फ़ंक्शन यहाँ पर इसका कुल भाग हैं, यह पार्शियल रिकर्सिव फ़ंक्शन के लिए सत्य नहीं है, उदाहरण के लिए, सक्सेसर फंक्शन का मिनिमाइजेशन अपरिभाषित है। इसके आधार पर स्यूडो रिकर्सिव फ़ंक्शन टोटल रिकर्सिव फ़ंक्शन का उपसमूह हैं, जो पार्शियल रिकर्सिव फ़ंक्शन का उपसमूह हैं। उदाहरण के लिए, एकरमैन फ़ंक्शन को पूर्ण रिकर्सिव और गैर-स्यूडो प्रमाणित किया जा सकता है।
स्यूडो या जनरल फंक्शन:
- काॅन्ट्यूनिटी फंक्शन Ck
n: प्रत्येक प्राकृतिक संख्या के लिए n और हर का मान k हैं।- वैकल्पिक परिभाषाएँ शून्य फ़ंक्शन का उपयोग स्यूडो फ़ंक्शन के रूप में करती हैं, जो सदैव शून्य लौटाता है, और शून्य फ़ंक्शन, सक्सेसर फंक्शन और कंपोज़िशन ऑपरेटर से काॅन्ट्यूनिटी फंक्शन का निर्माण करता है।
- सक्सेसर फंक्शन S:
- प्रोजेक्शन फंक्शन (आइडेंटिकल फ़ंक्शन भी कहा जाता है): सभी प्राकृतिक संख्याओं के लिए ऐसा है कि :
ऑपरेटर्स (ऑपरेटर द्वारा परिभाषित फ़ंक्शन का डोमेन तर्कों के मानों का सेट है, जैसे कि गणना के दौरान किया जाने वाला प्रत्येक फ़ंक्शन एप्लिकेशन को अच्छी तरह से परिभाषित करने के बाद उपयुक्त परिणाम प्रदान करता है):
- कंपोजीशन आपरेटर (प्रतिस्थापन ऑपरेटर भी कहा जाता है): एम-एरे फ़ंक्शन दिया गया है, इसके आधार पर और एम के-ऐरे फंक्शन :
- इसका अर्थ है कि केवल तभी परिभाषित किया गया है, इसके आधार पर और सभी परिभाषित हैं।
- स्यूडो रिकर्सन ऑपरेटर ρ: k-ary फ़ंक्शन को देखते हुए और k+2-ऐरे फंक्शन :
- इस का अर्थ है कि केवल तभी परिभाषित किया गया है, और सभी के लिए के अनुसार परिभाषित किया गया हैं।
- मिनिमाइजेशन ऑपरेटर μ: (k+1)-ऐरे फंक्शन दिया गया है , के-ऐरे फंक्शन द्वारा परिभाषित किया गया है:
सहजता से, मिनिमाइजेशन खोजता है- इसके आधार पर 0 से खोज प्रारंभ करना और ऊपर की ओर बढ़ता हैं- इसका सबसे छोटा तर्क जो फ़ंक्शन को शून्य पर लौटने का कारण बनता है, यदि ऐसा कोई तर्क नहीं है, या यदि कोई किसी तर्क का सामना करता है जिसके लिए f परिभाषित नहीं है, तो खोज कभी समाप्त नहीं होती, और तर्क के लिए द्वारा परिभाषित नहीं करता है।
जबकि कुछ लाइब्रेरी में μ-ऑपरेटर का उपयोग किया जाता हैं, जैसा कि यहां परिभाषित किया गया है,[5][6] यह मान इसके अतिरिक्त उपयोग किया जा सकता है।[7][8] यहाँ पर μ-ऑपरेटर को टोटल फंक्शन पर f के द्वारा लागू किया जाता हैं। यद्यपि यह यहां दी गई परिभाषा की तुलना में μ-ऑपरेटर को प्रतिबंधित करता है, इसका μ-रिकर्सिव फ़ंक्शन का वर्ग समान रहता है, जो क्लेन के सामान्य फॉर्म प्रमेय (सामान्य फॉर्म प्रमेय देखें) जिससे इसका अनुसरण करते हैं।[5][6] इस प्रकार इसका एकमात्र अंतर यह है कि यह अनिर्णीत को प्रदान करता है कि क्या विशिष्ट फ़ंक्शन परिभाषा μ-रिकर्सिव फ़ंक्शन को परिभाषित करती है, क्योंकि यह अनिर्णीत है कि क्या गणना योग्य (अर्ताथ μ-रिकर्सिव) फ़ंक्शन कुल है।[7]
स्ट्रांग इक्ववैलिटी ऑपरेटर पार्शियल μ-रिकर्सिव फ़ंक्शन की तुलना करने के लिए उपयोग किया जा सकता है। इसे सभी आंशिक फलनों f और g के लिए परिभाषित किया गया है।
- यदि और केवल तभी मान्य है, जब तर्कों के किसी भी विकल्प के लिए या तो दोनों फ़ंक्शन परिभाषित हैं और उनके मान समान हैं या दोनों फ़ंक्शन अपरिभाषित हैं।
उदाहरण
मिनिमाइज़ेशन ऑपरेटर को सम्मिलित न करने वाले उदाहरण स्यूडो रिकर्सिव फ़ंक्शन उदाहरण पर पाए जा सकते हैं।
निम्नलिखित उदाहरणों का उद्देश्य केवल मिनिमाइजेशन ऑपरेटर के उपयोग को प्रदर्शित करना है, उन्हें इसके बिना भी परिभाषित किया जा सकता है, यद्यपि अधिक काॅम्प्लेक्स प्रोसेस से, क्योंकि वे सभी स्यूडो रिकर्सिव हैं।
- पूर्णांक वर्गमूल का x न्यूनतम z के रूप में परिभाषित किया जा सकता है, इस प्रकार यह मान इस प्रकार है कि न्यूनतमकरण ऑपरेटर का उपयोग करते हुए, एक सामान्य पुनरावर्ती परिभाषा है , जहाँ Not, Gt, and Mul लाॅजिकल निगेशन, इससे बड़ा, और गुणा,[9] वास्तविकता में, is 0 यदि उपयोग करता हैं। जहाँ पर is the least z जिसके लिए उपयोग करता हैँ। निषेध जंक्टर Not से आवश्यकता हैGt सत्य को एन्कोड करता है, 1, जबकि μ 0 ढूंढता है।
निम्नलिखित उदाहरण सामान्य रिकर्सिव फ़ंक्शन को परिभाषित करते हैं जो स्यूडो रिकर्सिव नहीं हैं, इसलिए वे मिनिमाइजेशन ऑपरेटर का उपयोग करने से बच नहीं सकते हैं।
टोटल रिकर्सिव फ़ंक्शन
यह ऐसा जनरल रिकर्सिव फंक्शन हैं, जिसको टोटल रिकर्सिव फ़ंक्शन कहा जाता है, यदि इसे प्रत्येक इनपुट के लिए परिभाषित किया गया है, या समकक्ष, यदि इसकी गणना कुल ट्यूरिंग मशीन द्वारा की जा सकती है। गणनात्मक रूप से यह बताने की कोई विधि नहीं है, कि दिया गया सामान्य रिकर्सिव फ़ंक्शन पूर्ण है या नहीं हॉल्टिंग समस्या देखें।
संगणना के अन्य मॉडलों के साथ समतुल्यता
चर्च की इस थीसिस में, ट्यूरिंग मशीनों के बीच समानांतर रेखा खींची जाती है जो कुछ इनपुट के लिए समाप्त नहीं होती है और संबंधित पार्शियल रिकर्सिव फंक्शन में उस इनपुट के लिए अपरिभाषित परिणाम होता है।
अनबाउंड सर्च ऑपरेटर स्यूडो रिकर्सन के नियमों द्वारा परिभाषित नहीं है क्योंकि वे इनफाइनाइट लूप (अपरिभाषित मान) के लिए सिस्टम प्रदान नहीं करते हैं।
सामान्य रूपी प्रमेय
क्लेन का t विधेय क्लीन के कारण सामान्य रूप प्रमेय कहता है कि प्रत्येक k के लिए स्यूडो रिकर्सिव फ़ंक्शन और हैं। यह इस प्रकार हैं कि किसी भी μ-रिकर्सिव फ़ंक्शन के लिए k मुक्त चर के साथ e ऐसा है-
फ़ंक्शन f के लिए संख्या e को इंडेक्स या गोडेल नंबर कहा जाता है।[10]: 52–53 इस परिणाम का परिणाम यह है कि किसी भी μ-रिकर्सिव फ़ंक्शन को (कुल) स्यूडो रिकर्सिव फ़ंक्शन पर लागू μ ऑपरेटर के एकल उदाहरण का उपयोग करके परिभाषित किया जा सकता है।
मार्विन मिंस्की इसका निरीक्षण करते हैं ऊपर परिभाषित संक्षेप में सार्वभौमिक ट्यूरिंग मशीन के μ-रिकर्सिव समकक्ष है:
यू का निर्माण करने के लिए एक सामान्य-पुनरावर्ती फ़ंक्शन यू (एन, एक्स) की परिभाषा लिखना है जो संख्या एन की सही व्याख्या करता है और एक्स के उचित फ़ंक्शन की गणना करता है। यू को सीधे बनाने में अनिवार्य रूप से उतना ही प्रयास, और मूल रूप से वही विचार शामिल होंगे, जितना हमने यूनिवर्सल ट्यूरिंग मशीन के निर्माण में निवेश किया है। [11]
प्रतीकवाद
साहित्य में अनेक प्रकार के प्रतीकों का प्रयोग किया जाता है। प्रतीकवाद का उपयोग करने का फायदा यह है कि ऑपरेटरों को के अंदर करके फ़ंक्शन की व्युत्पत्ति की जाती है, जिसे कॉम्पैक्ट रूप में लिखना सरल होता है। निम्नलिखित में पैरामीटर्स की स्ट्रिंग x1, ..., xn इसे x के रूप में संक्षिप्त किया गया है:
- काॅन्ट्यूनिटी फंक्शन: क्लेन cn
q(x) = q का उपयोग करता है, और बूलोस-बर्गेस-जेफरी (2002) (b-b-j) संक्षिप्त नाम constn( x) = n का उपयोग करते हैं:
- उदाहरण के लिए c7
13 (r, s, t, u, v, w, x) = 13 - उदा. const13 (r, s, t, u, v, w, x) = 13
- उदाहरण के लिए c7
- सक्सेसर फंक्शन: क्लेन सक्सेसर के लिए x' और S का उपयोग करता है। चूंकि सक्सेसर को स्यूडो माना जाता है, अधिकांश ग्रंथ एपॉस्ट्रॉफ़ी का उपयोग इस प्रकार करते हैं:
- s(a) = a +1 =def a', जहां 1 =def 0', 2 =def 0 , आदि।
- आइडेंटिटी फंक्शन: क्लेन (1952) un
i का उपयोग करता है वेरिएबल xi पर आइडेंटिटी फंक्शन को इंगित करने के लिए, b-b-jn
i चर x1 पर xn को आइडेंटिटी फंक्शन id का उपयोग करें:
- un
i( x ) = idn
i( x ) = xi : जैसे u7
3 = id7
3 (r, s, t, u, v, w, x) = t
- रचना (प्रतिस्थापन) ऑपरेटर: क्लेन बोल्ड-फेस 's'm
n का उपयोग करता है, उसके सक्सेसर के साथ भ्रमित न हों!। इस प्रकार सुपरस्क्रिप्ट m, mfm को संदर्भित करता है, जबकि इस प्रकार सबस्क्रिप्ट n, n वेरिएबल xn को संदर्भित करता है :
- यदि हमें h(x)=g(f) दिया गया है1(x), ..., fm(x) )
- h(x) = sn
m(g, f1, ... , fm )
- h(x) = sn
- इसी प्रकार, उप- और सुपरस्क्रिप्ट के बिना, b-b-j लिखते हैं:
- h(x')= Cn[g, f1 ,..., fm](x)
- स्यूडो पुनरावर्तन: क्लेन प्रतीक rn का उपयोग करता है(बेस स्टेप, इंडक्शन स्टेप) जहां n वेरिएबल्स की संख्या को इंगित करता है, इस प्रकार b-b-j Pr(बेस स्टेप, इंडक्शन स्टेप)(x) का उपयोग करते हैं। जो इस प्रकार दिया गया हैं:
- आधार चरण: h( 0, x )= f( x ), और
- प्रेरण चरण: h( y+1, x ) = g( y, h(y, x),x )
- उदाहरण: a + b का स्यूडो रिकर्सन परिभाषा:
- आधार चरण: f( 0, a ) = a = U1
1(a) - प्रेरण चरण: f( b' , a ) = ( f ( b, a ) )' = g( b, f( b, a), a ) = g( b, c, a ) = c' = S(U3
2(b, c, a))
- r2{ u1
1(a), S [ (U3
2( b, c, a ) ] } - {u1
1(a), s[(u3
2(b, c, a) ] }
- आधार चरण: f( 0, a ) = a = U1
उदाहरण: क्लेन उदाहरण देता है कि f(b, a) = b + a की रिकर्सिव व्युत्पत्ति वेरिएबल a और b की व्युत्क्रम नोटिस को कैसे करें। वह 3 प्रारंभिक कार्यों से प्रारंभ करता है
- s(a) = a'
- u1
1(a) = a - u3
2(b, c, a) = c - g(b, c, a) = s(u3
2(b, c, a)) = c' - आधार चरण: h( 0, a ) = U1
1(a)
- प्रेरण चरण: h(b', a) = g(b, h(b, a), a)
वह यहां पहुंचता है:
- a+b = r2[u1
1, s3
1(s, u3
2) ]
- a+b = r2[u1
उदाहरण
यह भी देखें
- रिकर्सन थ्योरी
- रिकर्सन
- रिकर्सन (कंप्यूटर विज्ञान)
संदर्भ
- ↑ "Recursive Functions". द स्टैनफोर्ड इनसाइक्लोपीडिया ऑफ फिलॉसफी. Metaphysics Research Lab, Stanford University. 2021.
- ↑ Stanford Encyclopedia of Philosophy, Entry Recursive Functions, Sect.1.7: "[The class of μ-recursive functions] turns out to coincide with the class of the Turing-computable functions introduced by Alan Turing as well as with the class of the λ-definable functions introduced by Alonzo Church."
- ↑ Kleene, Stephen C. (1936). "λ-definability and recursiveness". Duke Mathematical Journal. 2 (2): 340–352. doi:10.1215/s0012-7094-36-00227-2.
- ↑ Turing, Alan Mathison (Dec 1937). "Computability and λ-Definability". Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280. S2CID 2317046. Proof outline on p.153: [3]
- ↑ 5.0 5.1 Enderton, H. B., A Mathematical Introduction to Logic, Academic Press, 1972
- ↑ 6.0 6.1 Boolos, G. S., Burgess, J. P., Jeffrey, R. C., Computability and Logic, Cambridge University Press, 2007
- ↑ 7.0 7.1 Jones, N. D., Computability and Complexity: From a Programming Perspective, The MIT Press, Cambridge, Massachusetts, London, England, 1997
- ↑ Kfoury, A. J., R. N. Moll, and M. A. Arbib, A Programming Approach to Computability, 2nd ed., Springer-Verlag, Berlin, Heidelberg, New York, 1982
- ↑ defined in Primitive recursive function#Junctors, Primitive recursive function#Equality predicate, and Primitive recursive function#Multiplication
- ↑ Stephen Cole Kleene (Jan 1943). "पुनरावर्ती विधेय और परिमाणक" (PDF). Transactions of the American Mathematical Society. 53 (1): 41–73. doi:10.1090/S0002-9947-1943-0007371-8.
- ↑ Minsky 1972, pp. 189.
- Kleene, Stephen (1991) [1952]. Introduction to Metamathematics. Walters-Noordhoff & North-Holland. ISBN 0-7204-2103-9.
- Soare, R. (1999) [1987]. Recursively enumerable sets and degrees: A Study of Computable Functions and Computably Generated Sets. Springer-Verlag. ISBN 9783540152996.
- Minsky, Marvin L. (1972) [1967]. Computation: Finite and Infinite Machines. Prentice-Hall. pp. 210–5. ISBN 9780131654495.
- On pages 210-215 Minsky shows how to create the μ-operator using the register machine model, thus demonstrating its equivalence to the general recursive functions.
- Boolos, George; Burgess, John; Jeffrey, Richard (2002). "6.2 Minimization". Computability and Logic (4th ed.). Cambridge University Press. pp. 70–71. ISBN 9780521007580.