Μ ऑपरेटर

रिकर्सन सिद्धांत में, μ-ऑपरेटर, मिनिमाइज़ेशन ऑपरेटर, या अनबाउंड सर्च ऑपरेटर किसी दिए गए गुण के साथ सबसे कम प्राकृतिक संख्या की खोज करता है। आदिम पुनरावर्ती कार्यों में μ-ऑपरेटर को जोड़ने से सभी गणना योग्य कार्यों को परिभाषित करना संभव हो जाता है।

परिभाषा
मान लीजिए कि R(y, x1, ..., एक्सk) प्राकृतिक संख्याओं पर एक निश्चित (k+1)-एरी संबंध है। μ-ऑपरेटर μy, या तो असंबद्ध या परिबद्ध रूप में, प्राकृतिक संख्याओं से प्राकृतिक संख्याओं तक परिभाषित एक संख्या सिद्धांतिक फ़ंक्शन है। हालाँकि, μy में प्राकृतिक संख्याओं पर एक विधेय (गणित) शामिल है, जिसे एक ऐसी स्थिति के रूप में माना जा सकता है जो विधेय संतुष्ट होने पर सत्य और ऐसा नहीं होने पर गलत का मूल्यांकन करती है।

बाउंडेड μ-ऑपरेटर पहले क्लेन (1952) अध्याय IX आदिम पुनरावर्ती कार्यों में दिखाई देता है, §45 विधेय, मुख्य कारक प्रतिनिधित्व इस प्रकार है:
 * $$\mu y_{y<z} R(y). \ \ \mbox{The least} \ y<z \ \mbox{such that} \ R(y), \ \mbox{if} \ (\exists y)_{y<z} R(y); \ \mbox{otherwise}, \ z.$$(पृ. 225)

स्टीफन क्लेन का कहना है कि चर y की सीमा पर छह असमानता प्रतिबंधों में से किसी एक की अनुमति है, यानी y < z, y ≤ z, w < y < z, w < y ≤ z, w ≤ y < z और w ≤ y ≤ z। जब संकेतित श्रेणी में कोई y नहीं है जैसे कि R(y) [सत्य है], तो μy अभिव्यक्ति का मान श्रेणी की कार्डिनल संख्या है (पृष्ठ 226); यही कारण है कि उपरोक्त परिभाषा में डिफ़ॉल्ट z दिखाई देता है। जैसा कि नीचे दिखाया गया है, परिबद्ध μ-ऑपरेटर μyy<zइसे दो आदिम पुनरावर्ती कार्यों के संदर्भ में परिभाषित किया गया है जिन्हें परिमित योग Σ और परिमित उत्पाद Π कहा जाता है, एक विधेय फ़ंक्शन जो परीक्षण करता है और एक प्रतिनिधित्व फ़ंक्शन जो {t, f} को {0, 1} में परिवर्तित करता है।

अध्याय XI §57 सामान्य पुनरावर्ती कार्यों में, क्लेन निम्नलिखित तरीके से वेरिएबल y पर अनबाउंड μ-ऑपरेटर को परिभाषित करता है,
 * $$(\exists y) \mu y R(y) = \{ \mbox{the least (natural number)}\ y \ \mbox{such that} \ R(y)\}$$(पृ. 279, कहां$$(\exists y)$$इसका मतलब है कि कोई ऐसा अस्तित्व है कि... )

इस उदाहरण में R स्वयं, या इसका प्रतिनिधित्व करने वाला कार्य, संतुष्ट होने पर 0 प्रदान करता है (अर्थात सत्य प्रदान करता है); फ़ंक्शन फिर संख्या y प्रदान करता है। y पर कोई ऊपरी सीमा मौजूद नहीं है, इसलिए इसकी परिभाषा में कोई असमानता की अभिव्यक्ति दिखाई नहीं देती है।

किसी दिए गए R(y) के लिए अनबाउंड μ-ऑपरेटर μyR(y) (नोट (Ey) के लिए कोई आवश्यकता नहीं) एक आंशिक फ़ंक्शन है। इसके बजाय क्लेन इसे एक संपूर्ण फ़ंक्शन के रूप में बनाता है (cf. पृष्ठ 317):

$$ \varepsilon yR(x,y) = \begin{cases} \text{the least } y \text{ such that } R(x,y), &\text{if } (Ey)R(x,y)\\ 0, &\text{otherwise}. \end{cases}$$ अनबाउंड μ-ऑपरेटर के कुल संस्करण का अध्ययन उच्च-क्रम रिवर्स गणित में किया जाता है निम्नलिखित रूप में:

$$(\exists \mu^2)(\forall f^1)\big( (\exists n^0)(f(n)=0) \rightarrow f(\mu(f))=0 \big),$$ जहां सुपरस्क्रिप्ट का अर्थ है कि n शून्य क्रम है, f प्रथम क्रम है, और μ दूसरे क्रम है। यह सिद्धांत बिग फाइव सिस्टम रिवर्स गणित#अंकगणितीय समझ ACA0|ACA को जन्म देता है0जब इसे उच्च-क्रम विपरीत गणित के सामान्य आधार सिद्धांत के साथ जोड़ा जाता है।

गुण
(i) आदिम पुनरावर्ती कार्यों के संदर्भ में, जहां μ-ऑपरेटर का खोज चर y घिरा हुआ है, उदाहरण के लिए y < z नीचे दिए गए सूत्र में, यदि विधेय R आदिम पुनरावर्ती है (क्लीन प्रूफ़ #E पृष्ठ 228), तो
 * μyy<zआर(य, एक्स1, ..., एक्सn) एक आदिम पुनरावर्ती कार्य है।

(ii) (कुल) कुल पुनरावर्ती फ़ंक्शन के संदर्भ में, जहां खोज चर y असीमित है लेकिन सभी मान x के लिए मौजूद होने की गारंटी हैi कुल पुनरावर्ती विधेय आर के पैरामीटर,
 * (एक्स1),...,(एक्सn) (आई) आर(वाई, एक्सi, ..., एक्सn) का तात्पर्य है कि μyR(y, xi, ..., एक्सn) एक पूर्ण पुनरावर्ती कार्य है।
 * यहाँ (xi) का मतलब सभी x के लिए हैiऔर आई का मतलब है कि वाई का कम से कम एक मान मौजूद है जैसे... (सीएफ क्लेन (1952) पृष्ठ 279।)

फिर पांच आदिम पुनरावर्ती ऑपरेटर और असीमित-लेकिन-कुल μ-ऑपरेटर उस चीज़ को जन्म देते हैं जिसे क्लेन ने सामान्य पुनरावर्ती फ़ंक्शन कहा है (यानी छह रिकर्सन ऑपरेटरों द्वारा परिभाषित कुल फ़ंक्शन)।

(iii) आंशिक पुनरावर्ती कार्यों के संदर्भ में: मान लीजिए कि संबंध आर तभी कायम रहता है जब आंशिक पुनरावर्ती फ़ंक्शन शून्य में परिवर्तित हो जाता है। और मान लीजिए कि वह आंशिक पुनरावर्ती फ़ंक्शन जब भी μyR (y, x) अभिसरण करता है (कुछ, जरूरी नहीं कि शून्य)1, ..., एक्सk) परिभाषित है और y μyR(y, x है1, ..., एक्सk) या छोटा. फिर फ़ंक्शन μyR(y, x1, ..., एक्सk) भी एक आंशिक पुनरावर्ती कार्य है।

μ-ऑपरेटर का उपयोग म्यू-रिकर्सिव फ़ंक्शन|μ रिकर्सिव फ़ंक्शन के रूप में गणना योग्य कार्यों के लक्षण वर्णन में किया जाता है।

रचनात्मक गणित में, अनबाउंड सर्च ऑपरेटर मार्कोव के सिद्धांत से संबंधित है।

उदाहरण 1: परिबद्ध μ-ऑपरेटर एक आदिम पुनरावर्ती फ़ंक्शन है

 * निम्नलिखित में 'x' स्ट्रिंग x को दर्शाता हैi, ..., एक्सn.

बंधे हुए μ-ऑपरेटर को दो आदिम पुनरावर्ती कार्यों (इसके बाद पीआरएफ) के संदर्भ में व्यक्त किया जा सकता है, जिनका उपयोग CASE फ़ंक्शन को परिभाषित करने के लिए भी किया जाता है - उत्पाद-शब्दों का Π और योग-योग Σ (सीएफ क्लेन #) बी पेज 224). (आवश्यकतानुसार, चर के लिए कोई भी सीमा जैसे s ≤ t या t < z, या 5 < x < 17 आदि उपयुक्त है)। उदाहरण के लिए:
 * Πs≤t fs(एक्स, एस) = एफ0(एक्स, 0) × एफ1(एक्स, 1) × ... × एफt(एक्स, टी)
 * एसt<z gt(एक्स, टी) = जी0(एक्स, 0) + जी1(एक्स, 1) + ... + जीz-1(एक्स, जेड-1)

आगे बढ़ने से पहले हमें एक फ़ंक्शन ψ पेश करने की आवश्यकता है जिसे विधेय आर का प्रतिनिधित्व करने वाला फ़ंक्शन कहा जाता है। फ़ंक्शन ψ को इनपुट (t = सत्य, f = मिथ्या) से आउटपुट (0, 1) (ऑर्डर नोट करें!) से परिभाषित किया गया है। इस मामले में ψ का इनपुट। यानी {टी, एफ}। R के आउटपुट से आ रहा है:
 * ψ(आर = टी) = 0
 * ψ(आर = एफ) = 1

क्लेन दर्शाता है कि μyy<zR(y) को इस प्रकार परिभाषित किया गया है; हम देखते हैं कि उत्पाद फ़ंक्शन Π एक बूलियन या ऑपरेटर की तरह कार्य कर रहा है, और योग Σ कुछ हद तक बूलियन AND की तरह कार्य कर रहा है, लेकिन केवल {1, 0} के बजाय {Σ≠0, Σ=0} उत्पन्न कर रहा है:
 * μyy<zआर(वाई) = एसt<zΠs≤t ψ(R(x, t, s)) =
 * [ψ(x, 0, 0)] +
 * [ψ(x, 1, 0) × ψ(x, 1, 1)] +
 * [ψ(x, 2, 0) × ψ(x, 2, 1) × ψ(x, 2, 2)] +
 * [ψ(x, z-1, 0) × ψ(x, z-1, 1) × ψ(x, z-1, 2) × . . . . . . . . × ψ(x, z-1, z-1)]
 * [ψ(x, z-1, 0) × ψ(x, z-1, 1) × ψ(x, z-1, 2) × . . . . . . . . × ψ(x, z-1, z-1)]


 * ध्यान दें कि Σ वास्तव में आधार के साथ एक आदिम पुनरावृत्ति है Σ(x, 0) = 0 और प्रेरण चरण Σ(x, y+1) = Σ(x, ' y) + Π( x, y). उत्पाद Π आधार चरण Π(x, 0) = ψ(x, 0) और प्रेरण चरण Π(x, y+1) = Π( x, y) × के साथ एक आदिम पुनरावर्तन भी है ψ(x, y+1)'

यदि क्लेन द्वारा दिए गए उदाहरण के साथ देखा जाए तो समीकरण आसान है। उन्होंने अभी प्रतिनिधित्व फ़ंक्शन ψ(R(y)) के लिए प्रविष्टियां बनाईं। उन्होंने ψ(x, y के बजाय प्रतिनिधित्व करने वाले कार्यों को χ(y) निर्दिष्ट किया:

उदाहरण 2: अनबाउंड μ-ऑपरेटर आदिम-पुनरावर्ती नहीं है
अनबाउंड μ-ऑपरेटर-फ़ंक्शन μy-वह है जिसे आमतौर पर ग्रंथों में परिभाषित किया गया है। लेकिन पाठक को आश्चर्य हो सकता है कि असंबद्ध μ-ऑपरेटर किसी अन्य प्राकृतिक संख्या के बजाय शून्य उत्पन्न करने के लिए फ़ंक्शन R('x', y) की खोज क्यों कर रहा है।
 * फुटनोट में मिन्स्की अपने ऑपरेटर को तब समाप्त करने की अनुमति देता है जब अंदर का फ़ंक्शन पैरामीटर k से मेल खाता है; यह उदाहरण इसलिए भी उपयोगी है क्योंकि यह किसी अन्य लेखक का प्रारूप दिखाता है:
 * μ के लिएt[φ(t) = k] (पृ. 210)

शून्य का कारण यह है कि अनबाउंड ऑपरेटर μy को फ़ंक्शन उत्पाद Π के संदर्भ में परिभाषित किया जाएगा, इसके सूचकांक y को μ-ऑपरेटर खोज के रूप में बढ़ने की अनुमति दी जाएगी। जैसा कि ऊपर दिए गए उदाहरण में बताया गया है, उत्पाद Πx<y संख्याओं ψ(x, 0) *, ..., * ψ(x, y) की एक स्ट्रिंग में शून्य प्राप्त होता है जब भी इसके सदस्यों में से एक ψ(x, i) शून्य होता है:
 * Πs<y = ψ(x, 0) *, ..., * ψ(x, y) = 0

यदि कोई ψ(x, i) = 0 जहां 0≤i≤s है। इस प्रकार Π एक बूलियन AND की तरह कार्य कर रहा है।

फ़ंक्शन μy आउटपुट के रूप में एक एकल प्राकृतिक संख्या y = {0, 1, 2, 3, ...} उत्पन्न करता है। हालाँकि, ऑपरेटर के अंदर कुछ स्थितियों में से एक दिखाई दे सकती है: (ए) एक संख्या-सैद्धांतिक फ़ंक्शन χ जो एक प्राकृतिक संख्या उत्पन्न करता है, या (बी) एक विधेय आर जो या तो {t = true, f = false} उत्पन्न करता है। (और, आंशिक पुनरावर्ती कार्यों के संदर्भ में क्लेन ने बाद में एक तीसरा परिणाम स्वीकार किया: μ = अनिर्णीत। )

क्लेन ने दो स्थितियों (ए) और (बी) को संभालने के लिए अनबाउंड μ-ऑपरेटर की अपनी परिभाषा को विभाजित किया है। स्थिति (बी) के लिए, इससे पहले कि विधेय R(x, y) उत्पाद Π में अंकगणितीय क्षमता में काम कर सके, इसके आउटपुट {t, f} को पहले इसके प्रतिनिधित्व फ़ंक्शन χ द्वारा संचालित किया जाना चाहिए। ' {0, 1} उत्पन्न करने के लिए। और स्थिति (ए) के लिए यदि एक परिभाषा का उपयोग किया जाना है तो संख्या सैद्धांतिक फ़ंक्शन χ को μ-ऑपरेटर को संतुष्ट करने के लिए शून्य उत्पन्न करना होगा। इस मामले के सुलझने के साथ, वह एकल प्रमाण III के साथ प्रदर्शित करता है कि या तो प्रकार (ए) या (बी) पांच आदिम पुनरावर्ती ऑपरेटरों के साथ मिलकर (कुल) कुल पुनरावर्ती कार्य उत्पन्न करते हैं, कुल कार्य के लिए इस प्रावधान के साथ:
 * सभी मापदंडों के लिए x, यह दिखाने के लिए एक प्रदर्शन प्रदान किया जाना चाहिए कि एक y मौजूद है जो संतुष्ट करता है (ए) μyψ(x, y) या (बी) μyR(x, y).

क्लेन एक तीसरी स्थिति (सी) को भी स्वीकार करता है जिसके लिए सभी x के प्रदर्शन की आवश्यकता नहीं है, एक y मौजूद है जैसे कि ψ(x, y)। वह अपने प्रमाण में इसका उपयोग करता है कि गिनाए जा सकने वाले कार्यों से अधिक कुल पुनरावर्ती कार्य मौजूद हैं''; सी.एफ. फ़ुटनोट #संपूर्ण कार्य प्रदर्शन।

क्लेन का प्रमाण अनौपचारिक है और पहले उदाहरण के समान एक उदाहरण का उपयोग करता है, लेकिन पहले वह μ-ऑपरेटर को एक अलग रूप में डालता है जो फ़ंक्शन χ पर काम करने वाले उत्पाद-शब्द Π का उपयोग करता है जो एक प्राकृतिक संख्या  n उत्पन्न करता है, जो कोई भी प्राकृतिक संख्या हो सकती है, और उस स्थिति में 0 जब यू-ऑपरेटर का परीक्षण संतुष्ट हो जाता है।


 * परिभाषा Π-फ़ंक्शन के साथ पुनर्गठित होती है:
 * μyy 0 के लिए अपरिभाषित है।

यह सूक्ष्म है. पहली नज़र में समीकरण आदिम पुनरावर्तन का उपयोग करते हुए प्रतीत होते हैं। लेकिन क्लेन ने हमें सामान्य रूप का आधार चरण और प्रेरण चरण प्रदान नहीं किया है:
 * आधार चरण: φ(0, x) = φ(x)
 * प्रेरण चरण: φ(0, x) = ψ(y, φ(0,x), x)

यह देखने के लिए कि क्या हो रहा है, हमें सबसे पहले खुद को याद दिलाना होगा कि हमने प्रत्येक वेरिएबल x के लिए एक पैरामीटर (एक प्राकृतिक संख्या) निर्दिष्ट किया है।i. दूसरा, हम एक उत्तराधिकारी-ऑपरेटर को काम पर y (यानी y' ) दोहराते हुए देखते हैं। और तीसरा, हम देखते हैं कि फ़ंक्शन μy y<zχ(y, 'x') केवल χ(y,'x') यानी χ(0,'x'), χ(1,'x'), ... के उदाहरण उत्पन्न कर रहा है जब तक कि एक उदाहरण 0 प्राप्त न हो जाए। चौथा, जब एक उदाहरण χ(n, 'x') से 0 प्राप्त होता है तो यह τ के मध्य पद का कारण बनता है, अर्थात v = π('x', y' ) से 0 प्राप्त होता है। अंत में, जब मध्य पद v = 0, μy होता हैy<zχ(y) लाइन (iii) निष्पादित करता है और बाहर निकलता है। क्लेन की समीकरणों (ii) और (iii) की प्रस्तुति का आदान-प्रदान इस बिंदु को बनाने के लिए किया गया है कि रेखा (iii) एक निकास का प्रतिनिधित्व करती है - एक निकास केवल तभी लिया जाता है जब खोज सफलतापूर्वक χ(y) और मध्य उत्पाद-शब्द π को संतुष्ट करने के लिए एक y पाती है। ('x', y' ) 0 है; इसके बाद ऑपरेटर अपनी खोज को τ(z', 0, y) = y के साथ समाप्त करता है।
 * τ(π('x', y), π('x', y' ), y), यानी:
 * τ(π('x', 0), π('x', 1), 0),
 * τ(π('x', 1), π('x', 2), 1)
 * τ(π('x', 2), π('x', 3), 2)
 * τ(π('x', 3), π('x', 4), 3)
 * ... जब तक कोई मिलान y=n पर न हो जाए और तब:
 * τ(z', 0, y) = τ(z' , 0, n) = n और μ-ऑपरेटर की खोज पूरी हो गई है।

उदाहरण के लिए क्लेन ... (x) के किसी भी निश्चित मान पर विचार करेंi, ..., एक्सn) और 'χ(x) के लिए बस 'χ(y)' लिखेंi, ..., एक्सn), और)' : <!--

उदाहरण 3: एक अमूर्त मशीन के संदर्भ में असीमित μ-ऑपरेटर की परिभाषा
दोनों मिन्स्की (1967) पृ. 21 और बूलोस-बर्गेस-जेफरी (2002) पी. 60-61 एक अमूर्त मशीन के रूप में μ-ऑपरेटर की परिभाषा प्रदान करते हैं; फुटनोट देखें #मिन्स्की .281967.29 और बूलोस-बर्गेस-जेफरी .282002.29| से अनबाउंडेड .CE.BC ऑपरेटर के वैकल्पिक अमूर्त मशीन मॉडल|μ की वैकल्पिक परिभाषाएँ।

निम्नलिखित प्रदर्शन फ़ुटनोट में उल्लिखित विशिष्टता के बिना मिन्स्की का अनुसरण करता है। प्रदर्शन पीनो एक्सिओम्स और आदिम पुनरावर्ती कार्यों से निकटता से संबंधित एक उत्तराधिकारी काउंटर मशीन मॉडल का उपयोग करेगा। मॉडल में (i) निर्देशों की एक तालिका और एक तथाकथित 'राज्य रजिस्टर' के साथ एक सीमित राज्य मशीन शामिल है जिसे हम निर्देश रजिस्टर (आईआर) का नाम देंगे, (ii) कुछ रजिस्टर जिनमें से प्रत्येक में केवल एक ही शामिल हो सकता है प्राकृतिक संख्या, और (iii) निम्नलिखित तालिका में वर्णित चार आदेशों का एक निर्देश सेट:


 * निम्नलिखित में, प्रतीकवाद [ r ] का अर्थ है, और →r रजिस्टर r के संबंध में एक कार्रवाई को इंगित करता है।

न्यूनतमकरण ऑपरेटर μy[φ('x', y)] के लिए एल्गोरिदम, संक्षेप में, पैरामीटर y (एक प्राकृतिक संख्या) का मान बढ़ने पर फ़ंक्शन φ('x', y) के उदाहरणों का एक अनुक्रम बनाएगा; प्रक्रिया तब तक जारी रहेगी (नीचे नोट † देखें) जब तक फ़ंक्शन φ('x', y) के आउटपुट और कुछ पूर्व-स्थापित संख्या (आमतौर पर 0) के बीच मिलान नहीं हो जाता। इस प्रकार φ('x', y) के मूल्यांकन के लिए, शुरुआत में, इसके प्रत्येक चर 'x' के लिए एक प्राकृतिक संख्या निर्दिष्ट करने और एक रजिस्टर w के लिए एक मिलान संख्या (आमतौर पर 0) और y पंजीकृत करने के लिए एक संख्या (आमतौर पर 0) निर्दिष्ट करने की आवश्यकता होती है।


 * नोट †: अनबाउंड μ-ऑपरेटर इस प्रयास-से-मिलान प्रक्रिया को अनंत काल तक या जब तक कोई मिलान नहीं हो जाता तब तक जारी रखेगा। इस प्रकार y रजिस्टर असीमित होना चाहिए - यह कई मनमाने आकार धारण करने में सक्षम होना चाहिए। वास्तविक कंप्यूटर मॉडल के विपरीत, अमूर्त मशीन मॉडल इसकी अनुमति देते हैं। एक बाउंडेड μ-ऑपरेटर के मामले में, एक निचला-बाउंड μ-ऑपरेटर y की सामग्री को शून्य के अलावा किसी अन्य संख्या पर सेट करके शुरू करेगा। एक ऊपरी सीमा वाले μ-ऑपरेटर को एक अतिरिक्त रजिस्टर यूबी की आवश्यकता होगी जिसमें वह संख्या शामिल हो जो ऊपरी सीमा के साथ-साथ एक अतिरिक्त तुलना ऑपरेशन का प्रतिनिधित्व करती हो; एक एल्गोरिदम निचली और ऊपरी दोनों सीमाएं प्रदान कर सकता है।

निम्नलिखित में हम मान रहे हैं कि निर्देश रजिस्टर (आईआर) निर्देश संख्या n पर μy रूटीन का सामना करता है। इसका पहला कार्य एक समर्पित डब्ल्यू रजिस्टर में एक संख्या स्थापित करना होगा - उस संख्या का एक उदाहरण जो फ़ंक्शन φ('x', y) को एल्गोरिदम समाप्त होने से पहले उत्पन्न करना होगा (शास्त्रीय रूप से यह संख्या शून्य है, लेकिन शून्य के अलावा अन्य संख्याओं के उपयोग के बारे में फ़ुटनोट देखें)। निर्देश n+1 पर एल्गोरिदम की अगली कार्रवाई y रजिस्टर को साफ़ करना होगा - y एक अप-काउंटर के रूप में कार्य करेगा जो 0 से शुरू होता है। फिर निर्देश n+2 पर एल्गोरिदम अपने फ़ंक्शन φ('x', y) का मूल्यांकन करता है - हम मानते हैं कि इसे पूरा करने के लिए j निर्देशों की आवश्यकता होती है - और इसके मूल्यांकन के अंत में φ('x', y) अपना आउटपुट रजिस्टर φ में जमा करता है। (n+j+3) तीसरे निर्देश पर एल्गोरिदम w रजिस्टर में संख्या (जैसे 0) की तुलना φ रजिस्टर में संख्या से करता है - यदि वे समान हैं तो एल्गोरिदम सफल हो गया है और यह निकास के माध्यम से बच जाता है; अन्यथा यह y रजिस्टर की सामग्री को बढ़ाता है और फ़ंक्शन φ('x', y) का फिर से परीक्षण करने के लिए इस नए y-मान के साथ लूप करता है।

यह भी देखें

 * मैक्कार्थी औपचारिकता

कुल फ़ंक्शन प्रदर्शन
यदि फ़ंक्शन को कुल फ़ंक्शन होना है तो किसी अन्य विधि (जैसे गणितीय प्रेरण) द्वारा एक प्रदर्शन अनिवार्य है जो कि इसके पैरामीटर x के मानों के प्रत्येक संयोजन के लिए हैi कुछ प्राकृतिक संख्या y μ-ऑपरेटर को संतुष्ट करेगी ताकि गणना का प्रतिनिधित्व करने वाला एल्गोरिदम समाप्त हो सके:
 * ...हमें यह मानने में हमेशा संकोच होना चाहिए कि समीकरणों की एक प्रणाली वास्तव में एक सामान्य-पुनरावर्ती (यानी कुल) फ़ंक्शन को परिभाषित करती है। हमें आम तौर पर इसके लिए सहायक साक्ष्य की आवश्यकता होती है, उदा. एक आगमनात्मक प्रमाण के रूप में, प्रत्येक तर्क मान के लिए, गणना एक अद्वितीय मान के साथ समाप्त होती है। (मिन्स्की (1967) पृ.186)


 * दूसरे शब्दों में, हमें यह दावा नहीं करना चाहिए कि कोई फ़ंक्शन इस आधार पर प्रभावी रूप से गणना योग्य है कि इसे सामान्य (यानी कुल) पुनरावर्ती दिखाया गया है, जब तक कि यह प्रदर्शन प्रभावी न हो कि यह सामान्य पुनरावर्ती है। (क्लीन (1952) पृष्ठ 319)

व्यवहार में इसका क्या अर्थ है, इसके उदाहरण के लिए म्यू पुनरावर्ती फ़ंक्शन के उदाहरण देखें - यहां तक ​​​​कि सरलतम काटे गए घटाव एल्गोरिदम x - y = d भी अपरिभाषित मामलों के लिए, जब x < y, (1) कोई समाप्ति नहीं, (2) कोई संख्या नहीं (यानी प्रारूप में कुछ गड़बड़ है इसलिए उपज को प्राकृतिक संख्या नहीं माना जाता है), या (3) धोखा: सही प्रारूप में गलत संख्याएं प्राप्त हो सकती हैं। उचित घटाव एल्गोरिथ्म के लिए सभी मामलों पर सावधानीपूर्वक ध्यान देने की आवश्यकता होती है
 * (x, y) = {(0, 0), (a, 0), (0, b), (a≥b, b), (a=b, b), (a<b, b)}।

लेकिन जब एल्गोरिथ्म को उदाहरणों में अपेक्षित आउटपुट उत्पन्न करने के लिए दिखाया गया है {(0, 0), (1, 0), (0, 1), (2, 1), (1, 1), (1, 2)}, तब तक हम एक असहज भावना से बचे रहते हैं जब तक कि हम एक ठोस प्रदर्शन तैयार नहीं कर लेते कि मामले (x, y) = (n, m) सभी अपेक्षित परिणाम देते हैं। क्लेन की बात पर: क्या हमारा प्रदर्शन (यानी एल्गोरिदम जो हमारा प्रदर्शन है) प्रभावी माने जाने के लिए पर्याप्त है?

मिन्स्की (1967) और बूलोस-बर्गेस-जेफरी (2002) से अनबाउंडेड μ-ऑपरेटर के वैकल्पिक अमूर्त मशीन मॉडल
अनबाउंडेड μ-ऑपरेटर को मिन्स्की (1967) पी द्वारा परिभाषित किया गया है। 210 लेकिन एक अजीब दोष के साथ: जब इसका विधेय (यदि-तब-और परीक्षण) संतुष्ट होता है, तो ऑपरेटर t=0 उत्पन्न नहीं करेगा; बल्कि इससे t=2 प्राप्त होता है। मिन्स्की के संस्करण में काउंटर t है, और फ़ंक्शन φ(t, 'x') अपना नंबर रजिस्टर φ में जमा करता है। सामान्य μ परिभाषा रजिस्टर में w में 0 होगा, लेकिन मिन्स्की का मानना ​​है कि इसमें कोई भी संख्या k हो सकती है। मिन्स्की का निर्देश सेट निम्नलिखित के बराबर है जहां JNE = यदि समान नहीं है तो z पर जाएं:
 * {सीएलआर (आर), आईएनसी (आर), जेएनई (आर)।j, आरk, साथ) }

अनबाउंडेड μ-ऑपरेटर को बूलोस-बर्गेस-जेफरी (2002) पी द्वारा भी परिभाषित किया गया है। निम्नलिखित के समतुल्य अनुदेश सेट वाली काउंटर मशीन के लिए 60-61:
 * {सीएलआर (आर), आईएनसी (आर), डीईसी (आर), जेजेड (आर, जेड), एच }

इस संस्करण में काउंटर y को r2 कहा जाता है, और फ़ंक्शन f(x, r2) अपना नंबर रजिस्टर r3 में जमा करता है। शायद बूलोस-बर्गेस-जेफरी स्पष्ट आर3 का कारण लूप में बिना शर्त छलांग की सुविधा प्रदान करना है; यह अक्सर एक समर्पित रजिस्टर 0 के उपयोग से किया जाता है जिसमें 0 होता है:

संदर्भ

 * 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.
 * 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.
 * 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.
 * 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.