View source for एकरमैन फलन

{{Short description|Quickly-growing function}}
{{About|the mathematical function||Ackermann (disambiguation)}}

{{Use shortened footnotes|date=November 2022}}

संगणनीयता सिद्धांत में, [[विल्हेम एकरमैन]] के नाम पर एकरमैन फलन, जो सबसे सरल फलन में से एक है{{sfn|Monin|Hinchey|2003|p=61}} और सबसे पहले खोजे गए पूर्ण संगणनीय फलन का उदाहरण है जो मूल पुनरावर्ती फलन नहीं हैं। सभी [[आदिम पुनरावर्ती कार्य|मूल पुनरावर्ती फलन]] पूर्ण और संगणनीय हैं, लेकिन एकरमैन फलन यह दर्शाता है कि सभी पूर्ण संगणनीय फलन मूल फलन की पुनरावर्ती नहीं हैं। एकरमैन के प्रकाशन के बाद{{sfn|Ackermann|1928}} उनके फलन के (जिसमें तीन ऋणोतर पूर्णांक प्राचर थे), कई लेखकों ने इसे विभिन्न उद्देश्यों के अनुरूप संशोधित किया, ताकि आज एकरमैन फलन मूल फलन के कई रूपों में से किसी को भी संदर्भित कर सके। एक सामान्य संस्करण, दो-प्राचर एकरमैन-पीटर फलन को ऋणोतर पूर्णांक ''m'' और ''n'' के लिए निम्नानुसार परिभाषित किया गया है:

:<math> 
\begin{array}{lcl}
\operatorname{A}(0, n) & = & n + 1 \\
\operatorname{A}(m+1, 0) & = & \operatorname{A}(m, 1) \\
\operatorname{A}(m+1, n+1) & = & \operatorname{A}(m, \operatorname{A}(m+1, n))
\end{array}
</math>
छोटे आगम के लिए भी इसका मान तेजी से बढ़ता है। उदाहरण के लिए, {{nowrap|''A''(4, 2)}} 19,729 दशमलव अंकों का पूर्णांक है<ref>{{cite web |title=ए (4,2) का दशमलव विस्तार|archive-url= https://web.archive.org/web/20100120134707/http://kosara.net/thoughts/ackermann42.html |date=August 27, 2000| url= http://www.kosara.net/thoughts/ackermann42.html|archive-date=January 20, 2010|website=kosara.net }}</ref> (  2<sup>65536</sup>−3 के बराबर, अथवा  2<sup>2<sup>2<sup>2<sup>2</sup></sup></sup></sup>−3).

==इतिहास==
1920 के दशक के अंत में, गणितज्ञ [[गेब्रियल सूडान]] और विल्हेम एकरमैन, [[डेविड हिल्बर्ट]] के छात्र, संगणना की नींव का अध्ययन कर रहे थे। सूडान और एकरमैन दोनों को पूर्ण संगणनीय फलन की खोज के लिए श्रेय दिया जाता है{{sfn|Calude|Marcus|Tevy|1979}} (जिसे कुछ संदर्भों में केवल "पुनरावर्ती" कहा जाता है) जो मूल पुनरावर्ती फलन नहीं हैं। सूडान ने कम प्रसिद्ध सूडान फलन प्रकाशित किया, फिर कुछ ही समय बाद और स्वतंत्र रूप से, 1928 में, एकरमैन ने अपना फलन  <math>\varphi</math> (ग्रीक अक्षर [[फ़ाई]]) प्रकाशित किया। एकरमैन का तीन-प्राचर फलन, <math>\varphi(m, n, p)</math>, को इस तरह से परिभाषित किया गया है कि यह जैसे  <math>p=0,1,2</math>, के लिए और यह योग, [[गुणा|गुणन]] और [[घातांक]] के बुनियादी परिचालनों का पुनरावृत्त करता है।

:<math>\begin{align}
\varphi(m, n, 0) &= m+n \\
\varphi(m, n, 1) &= m\times n \\
\varphi(m, n, 2) &= m^n 
\end{align}</math>
और P > 2 के लिए यह इस तरह के बुनियादी परिचालनों को बढ़ाता है जिसकी तुलना [[हाइपरऑपरेशन|अतिसंचालन]] से की जा सकती है:

:<math>\begin{align}
\varphi(m, n, 3) &= m[4](n+1) \\
\varphi(m, n, p) &\gtrapprox m[p+1](n+1) && \text{for } p > 3
\end{align}</math>
( इसकी ऐतिहासिक भूमिका के अलावा यह कुल-गणना योग्य-लेकिन-मूल-पुनरावर्ती फलन के रूप में नहीं, एकरमैन के मूल फलन को घातांक से परे बुनियादी अंकगणितीय संचालन का विस्तार करने के लिए देखा जाता है, हालांकि एकरमैन फलन के रूपांतरों के समान नहीं है जो विशेष रूप से डिज़ाइन किए गए हैं।  जैसे कि - रूबेन गुडस्टीन का अतिसंचालन अनुक्रम।)

अनंत पर,{{sfn|Hilbert|1926|p=185}} डेविड हिल्बर्ट ने परिकल्पना की कि एकरमैन फलन मूल पुनरावर्ती नहीं था, लेकिन यह एकरमैन, हिल्बर्ट के निजी सचिव और पूर्व छात्र थे, जिन्होंने वास्तव में अपने कागज में वास्तविक संख्या के निर्माण पर परिकल्पना को सिद्ध किया था।{{sfn|Ackermann|1928}}{{sfn|van Heijenoort|1977}}

पीटर रोजसा{{sfn|Péter|1935}} और [[राफेल रॉबिन्सन]]{{sfn|Robinson|1948}}  ने बाद में एकरमैन फलन का एक दो-चर संस्करण को विकसित किया जो बाद में लगभग सभी लेखकों द्वारा पसंद किया गया।

सामान्यीकृत अतिसंचालन, उदाहरण - <math>G(m, a, b) = a[m]b</math>, एकरमैन फलन का भी एक संस्करण है।{{sfn|Ritchie|1965|p=1028}}

1963 में आर.सी. बक अतिसंचालन सीक्वेंस पर एक सहज ज्ञान युक्त दो-चर <ref name="letop3" group="n">with parameter order reversed</ref>वेरिएंट <math>\operatorname{F}</math> पर आधारित है:{{sfn|Buck|1963}}{{sfn|Meeussen|Zantema|1992|p=6}} 
:<math>\operatorname{F}(m,n) = 2[m]n.</math>
अधिकांश अन्य संस्करणों की तुलना में बक के फलन में कोई अनावश्यक ऑफ़सेट नहीं है:

:<math>\begin{align}
\operatorname{F}(0,n) &= 2[0]n = n + 1 \\
\operatorname{F}(1,n) &= 2[1]n = 2 + n \\
\operatorname{F}(2,n) &= 2[2]n = 2 \times n \\
\operatorname{F}(3,n) &= 2[3]n = 2^n \\
\operatorname{F}(4,n) &= 2[4]n = 2^{2^{2^{{}^{.^{.^{{}_.2}}}}}} \\
 &\quad\vdots
\end{align}</math>
एकरमैन फलन के कई अन्य संस्करणों का अन्वेषण भी किया गया है।{{sfn|Munafo|1999a}}
==परिभाषा==
======परिभाषा: एम-सरणी फलन के रूप में ======
एकरमैन का मूल तीन-प्राचर फलन <math>\varphi(m, n, p)</math> ऋणोतर पूर्णांकों के लिए निम्नानुसार पुनरावर्तन परिभाषित किया गया है <math>m,n,</math> तथा <math>p</math>:

:<math>\begin{align}
\varphi(m, n, 0) &= m + n \\
\varphi(m, 0, 1) &= 0 \\
\varphi(m, 0, 2) &= 1 \\
\varphi(m, 0, p) &= m && \text{for } p > 2 \\
\varphi(m, n, p) &= \varphi(m, \varphi(m, n-1, p), p - 1) && \text{for } n, p > 0
\end{align}</math>
विभिन्न दो-प्राचर संस्करणों में से, पेटर और रॉबिन्सन द्वारा विकसित एक (जिसे अधिकांश लेखकों द्वारा एकरमैन फलन कहा जाता है) को ऋणोतर पूर्णांकों  <math>m</math> तथा <math>n</math> के लिए निम्नलिखित अनुसार परिभाषित किया गया है :

:<math> 
\begin{array}{lcl}
\operatorname{A}(0, n) & = & n + 1 \\
\operatorname{A}(m+1, 0) & = & \operatorname{A}(m, 1) \\
\operatorname{A}(m+1, n+1) & = & \operatorname{A}(m, A(m+1, n))
\end{array}
</math>
एकरमेन फलन को अतिसंचालन अनुक्रम के संबंध में भी व्यक्त किया गया है:{{sfn|Sundblad|1971}}{{sfn|Porto|Matos|1980}}
:<math>A(m,n) = \begin{cases}
 n+1 & m=0 \\
 2[m](n+3)-3 & m>0 \\
\end{cases}</math>
:या, नुथ के उच्च-तीर संकेतन में लिखा गया है (पूर्णांक सूचकांक में बढ़ाया गया <math>\geq -2</math>):
:::<math> = \begin{cases}
 n+1 & m=0 \\
 2\uparrow^{m-2} (n+3) - 3 & m>0 \\
 \end{cases}</math>
:या, समतुल्य रूप से, बक के फलन F के संदर्भ में:{{sfn|Buck|1963}}
:<math> = \begin{cases}
 n+1 & m=0 \\
 F(m,n+3) - 3 & m>0 \\
\end{cases}</math>

=====परिभाषा: पुनरावृत्त 1-सरणी फलन के रूप में परिभाषित करना=====
<math>f^{n}</math> के n-वें पुनरावृति के रूप में <math>f</math>:
:<math>\begin{array}{rll}
f^{0}(x) & = & x \\
f^{n+1}(x) & = & f(f^{n}(x))\,\,\,\, \{\textrm{for} \,\, n \geq 1\}
\end{array}</math>
पुनरावृत्त फलन एक निश्चित संख्या में स्वयं के साथ एक फलन बनाने की प्रक्रिया है। फलन रचना एक साहचर्य संक्रिया है, इसलिए <math>f(f^{n}(x)) = f^{n}(f(x))</math>.

एकरमैन फलन को एकल फलन के अनुक्रम के रूप में समझना, स्थित कर सकता है <math>\operatorname{A}_{m}(n) = \operatorname{A}(m,n)</math>.

तब फलन एक एकल <ref name="letop4" group="n">'[[Currying|curried]]'</ref> फलन का अनुक्रम  <math>\operatorname{A}_0, \operatorname{A}_1, \operatorname{A}_2, ...</math> , जिसे हम पुनरावृत्त फलन से पारिभाषित कर सकते है :  
:<math> 
\begin{array}{lcl}
\operatorname{A}_{0}(n) & = & n+1 \\
\operatorname{A}_{m+1}(n) & = & \operatorname{A}_{m}^{n+1}(1) \\
\end{array}
</math>


==संगणना==
एकरमैन फ़ंक्शन की पुनरावर्ती परिभाषा को स्वाभाविक रूप से एक शब्द [[पुनर्लेखन]] प्रणाली (टीआरएस) में स्थानांतरित किया जा सकता है।

=====टीआरएस, 2-सरणी फलन पर आधारित है=====
<u>2-सरणी</u> एकरमैन फलन की परिभाषा स्पष्ट कटौती नियम की ओर ले जाती है {{sfn|Grossman|Zeitman|1988}}{{sfn|Paulson|2021}}
:<math> 
\begin{array}{lll}
\text{(r1)} & A(0,n)       & \rightarrow & S(n) \\
\text{(r2)} & A(S(m),0)    & \rightarrow & A(m,S(0)) \\
\text{(r3)} & A(S(m),S(n)) & \rightarrow & A(m,A(S(m),n))
\end{array}
</math>
उदाहरण

गणना करने पर <math>A(1,2) \rightarrow_{*} 4</math>

कमी अनुक्रम है <ref group="n" name="letop5">In each ''step'' the underlined ''redex'' is rewritten.</ref>

{|
| align="left" |[[Reduction strategy#Term rewriting|बाएँ सबसे बाहरी (एक कदम) नीतिबद्ध]]:{{space|12}}
| align="left" |[[Reduction strategy#Term rewriting|बांयी ओर-अंतरतम (एक-चरणीय) नीतिबद्ध]]:
|-
|<math>\underline{{A(S(0),S(S(0)))}}</math>
|<math>\underline{{A(S(0),S(S(0)))}}</math>
|-
|{{space|4}}<math>\rightarrow_{r3} \underline{{A(0,A(S(0),S(0))}})</math>
|{{space|4}}<math>\rightarrow_{r3} A(0,\underline{{A(S(0),S(0))}})</math>
|-
|{{space|4}}<math>\rightarrow_{r1}  S(\underline{{A(S(0),S(0))}})</math>
|{{space|4}}<math>\rightarrow_{r3}  A(0,A(0,\underline{{A(S(0),0)}}))</math>
|-
|{{space|4}}<math>\rightarrow_{r3}	S(\underline{{A(0,A(S0,0))}})</math>
|{{space|4}}<math>\rightarrow_{r2}	A(0,A(0,\underline{{A(0,S(0))}}))</math>
|-
|{{space|4}}<math>\rightarrow_{r1}	S(S(\underline{{A(S(0),0)}}))</math>
|{{space|4}}<math>\rightarrow_{r1}	A(0,\underline{{A(0,S(S(0)))}})</math>
|-
|{{space|4}}<math>\rightarrow_{r2}	S(S(\underline{{A(0,S(0))}}))</math>
|{{space|4}}<math>\rightarrow_{r1}	\underline{{A(0,S(S(S(0))))}}</math>
|-
|{{space|4}}<math>\rightarrow_{r1}	S(S(S(S(0))))</math>
|{{space|4}}<math>\rightarrow_{r1}	S(S(S(S(0))))</math>
|-
|}
गणना करना <math>\operatorname{A}(m, n)</math> कोई स्टैक (अमूर्त डेटा प्रकार) का उपयोग कर सकता है, जिसमें प्रारंभ में तत्व होते हैं <math>\langle m,n \rangle</math>.

फिर बार-बार दो शीर्ष तत्वों को नियमों के अनुसार बदल दिया जाता है<ref group="n" name="letop2">here: leftmost-innermost strategy!</ref>
:<math>
\begin{array}{lllllllll}
\text{(r1)} & 0     &,& n     & \rightarrow & (n+1) \\
\text{(r2)} & (m+1) &,& 0     & \rightarrow & m &,& 1 \\
\text{(r3)} & (m+1) &,& (n+1) & \rightarrow & m &,& (m+1) &,& n
\end{array}
</math>
योजनाबद्ध रूप से, से शुरू <math>\langle m,n \rangle</math>:

 व्हील स्टैक की लंबाई <> 1
 {
    पॉप 2 तत्व;
    पुश 1 या 2 या 3 तत्व, नियमों को लागू करते हुए r1, r2, r3
 }

[[स्यूडोकोड]] प्रकाशित हो चुकी है।  {{harvtxt|ग्रॉसमैन|जेटमन|1988}}.

उदाहरण के लिए, आगम पर <math>\langle 2,1 \rangle</math>,
{|
| align="left" |स्टैक का विन्यास{{space|4}}
| align="left" |कमी को दर्शाना <ref group="n" name="letop1">For better readability<br />S(0) is notated as 1,<br />S(S(0)) is notated as 2,<br />S(S(S(0))) is notated as 3,<br />etc...</ref>
|-
|<math>\underline{2,1}</math>
|<math>\underline{A(2,1)}</math>
|-
|{{space|4}}<math>\rightarrow 1,\underline{2,0}</math>
|{{space|4}}<math>\rightarrow_{r1} A(1,\underline{A(2,0)})</math>
|-
|{{space|4}}<math>\rightarrow 1,\underline{1,1}</math>
|{{space|4}}<math>\rightarrow_{r2} A(1,\underline{A(1,1)})</math>
|-
|{{space|4}}<math>\rightarrow 1,0,\underline{1,0}</math>
|{{space|4}}<math>\rightarrow_{r3} A(1,A(0,\underline{A(1,0)}))</math>
|-
|{{space|4}}<math>\rightarrow 1,0,\underline{0,1}</math>
|{{space|4}}<math>\rightarrow_{r2} A(1,A(0,\underline{A(0,1)}))</math>
|-
|{{space|4}}<math>\rightarrow 1,\underline{0,2}</math>
|{{space|4}}<math>\rightarrow_{r1} A(1,\underline{A(0,2)})</math>
|-
|{{space|4}}<math>\rightarrow \underline{1,3}</math>
|{{space|4}}<math>\rightarrow_{r1} \underline{A(1,3)}</math>
|-
|{{space|4}}<math>\rightarrow 0,\underline{1,2}</math>
|{{space|4}}<math>\rightarrow_{r3} A(0,\underline{A(1,2)})</math>
|-
|{{space|4}}<math>\rightarrow 0,0,\underline{1,1}</math>
|{{space|4}}<math>\rightarrow_{r3} A(0,A(0,\underline{A(1,1)}))</math>
|-
|{{space|4}}<math>\rightarrow 0,0,0,\underline{1,0}</math>
|{{space|4}}<math>\rightarrow_{r3} A(0,A(0,A(0,\underline{A(1,0)})))</math>
|-
|{{space|4}}<math>\rightarrow 0,0,0,\underline{0,1}</math>
|{{space|4}}<math>\rightarrow_{r2} A(0,A(0,A(0,\underline{A(0,1)})))</math>
|-
|{{space|4}}<math>\rightarrow 0,0,\underline{0,2}</math>
|{{space|4}}<math>\rightarrow_{r1} A(0,A(0,\underline{A(0,2)}))</math>
|-
|{{space|4}}<math>\rightarrow 0,\underline{0,3}</math>
|{{space|4}}<math>\rightarrow_{r1} A(0,\underline{A(0,3)})</math>
|-
|{{space|4}}<math>\rightarrow \underline{0,4}</math>
|{{space|4}}<math>\rightarrow_{r1} \underline{A(0,4)}</math>
|-
|{{space|4}}<math>\rightarrow 5</math>
|{{space|4}}<math>\rightarrow_{r1} 5</math>
|}
टिप्पणियां 
*[[रोसेटा कोड]] पर 225 कंप्यूटर भाषाओं में सबसे बांयी ओर-अंतरतम नीति लागू की गई है।
*सभी  <math>m,n</math> की गणना के लिए <math>A(m,n)</math>  फलन <math>(A(m,n) + 1)^m</math> कदम से अधिक नहीं लेता है{{sfn|Cohen|1987|p=56|loc=Proposition 3.16 (see in proof)}}
*{{harvtxt|ग्रॉसमैन |जेटमन|1988}} बताया कि <math>\operatorname{A}(m,n)</math> स्टैक  की गणना में अधिकतम लंबाई <math>\operatorname{A}(m,n)</math>, है  जब कि <math>m>0</math>.
:उनका अपना कलन विधि, स्वाभाविक रूप से पुनरावृत्त, गणना करता है <math>\operatorname{A}(m,n)</math> अंदर <math>\mathcal{O}(m \operatorname{A}(m,n))</math> समय और भीतर <math>\mathcal{O}(m)</math> स्थान ।

===== टीआरएस, पुनरावृत्त 1-सरणी फलन पर आधारित है =====
पुनरावृत्त <u>1-सरणी</u> एकरमैन फलन की परिभाषा विभिन्न कमी नियमों की ओर ले जाती है
:<math> 
\begin{array}{lll}
\text{(r4)} & A(S(0),0,n)    & \rightarrow & S(n) \\
\text{(r5)} & A(S(0),S(m),n) & \rightarrow & A(S(n),m,S(0)) \\
\text{(r6)} & A(S(S(x)),m,n) & \rightarrow & A(S(0),m,A(S(x),m,n))
\end{array}
</math>
जैसा कि फलन रचना साहचर्य है, नियम r6 के बजाय परिभाषित किया जा सकता है
:<math>
\begin{array}{lll}
\text{(r7)} & A(S(S(x)),m,n) & \rightarrow & A(S(x),m,A(S(0),m,n))
\end{array}
</math>
पिछले खंड की तरह की गणना <math>\operatorname{A}^1_m(n)</math> स्टैक के साथ लागू किया जा सकता है।

प्रारंभ में स्टैक में तीन तत्व होते हैं <math>\langle 1,m,n \rangle</math>.

फिर बार-बार तीन शीर्ष तत्वों को नियमों के अनुसार बदल दिया जाता है<ref group="n" name="letop2" />:

<math>
\begin{array}{lllllllll}
\text{(r4)} & 1   &, 0   &, n & \rightarrow & (n+1) \\
\text{(r5)} & 1   &, (m+1) &, n & \rightarrow & (n+1) &, m &, 1 \\
\text{(r6)} & (x+2) &, m   &, n & \rightarrow & 1 &, m &, (x+1) &, m &, n \\
\end{array}
</math>

योजनाबद्ध रूप से, से शुरू <math>\langle 1, m,n \rangle</math>:
 व्हील स्टैक की लंबाई <> 1
 {
    पॉप 3 तत्व;
    पुश 1 या 3 या 5 तत्व, नियमों को लागू करना r4, r5, r6;
 }

उदाहरण

आगम पर <math>\langle 1,2,1 \rangle</math> क्रमिक स्टैक विन्यास हैं 
:<math>\begin{align}
& \underline{1,2,1}
  \rightarrow_{r5} \underline{2,1,1} 
  \rightarrow_{r6} 1,1,\underline{1,1,1}
  \rightarrow_{r5} 1,1,\underline{2,0,1}
  \rightarrow_{r6} 1,1,1,0,\underline{1,0,1} \\
& \rightarrow_{r4} 1,1,\underline{1,0,2}
  \rightarrow_{r4} \underline{1,1,3}
  \rightarrow_{r5} \underline{4,0,1}
  \rightarrow_{r6} 1,0,\underline{3,0,1}
  \rightarrow_{r6} 1,0,1,0,\underline{2,0,1} \\
& \rightarrow_{r6} 1,0,1,0,1,0,\underline{1,0,1}
  \rightarrow_{r4} 1,0,1,0,\underline{1,0,2}
  \rightarrow_{r4} 1,0,\underline{1,0,3}
  \rightarrow_{r4} \underline{1,0,4}
  \rightarrow_{r4} 5
\end{align}</math>
संगत समानताएं हैं  
:<math>\begin{align}
& A_2(1)
  = A^2_1(1)
  = A_1(A_1(1))
  = A_1(A^2_0(1))
  = A_1(A_0(A_0(1))) \\
& = A_1(A_0(2))
  = A_1(3)
  = A^4_0(1)
  = A_0(A^3_0(1))
  = A_0(A_0(A^2_0(1))) \\
& = A_0(A_0(A_0(A_0(1))))
  = A_0(A_0(A_0(2)))
  = A_0(A_0(3))
  = A_0(4)
  = 5
\end{align}</math>
जब नियम r6 के बजाय कमी नियम r7 का उपयोग किया जाता है, तो स्टैक में प्रतिस्थापन का पालन किया जाएगा
:<math>\begin{array}{lllllllll}
\text{(r7)} & (x+2) &, m   &, n & \rightarrow & (x+1) &, m &, 1 &, m &, n
\end{array}</math>
क्रमिक स्टैक कॉन्फ़िगरेशन तब होगा
:<math>\begin{align}
& \underline{1,2,1}
  \rightarrow_{r5} \underline{2,1,1} 
  \rightarrow_{r7} 1,1,\underline{1,1,1}
  \rightarrow_{r5} 1,1,\underline{2,0,1}
  \rightarrow_{r7} 1,1,1,0,\underline{1,0,1} \\
& \rightarrow_{r4} 1,1,\underline{1,0,2}
  \rightarrow_{r4} \underline{1,1,3}
  \rightarrow_{r5} \underline{4,0,1}
  \rightarrow_{r7} 3,0,\underline{1,0,1}
  \rightarrow_{r4} \underline{3,0,2} \\
& \rightarrow_{r7} 2,0,\underline{1,0,2}
  \rightarrow_{r4} \underline{2,0,3}
  \rightarrow_{r7} 1,0,\underline{1,0,3}
  \rightarrow_{r4} \underline{1,0,4}
  \rightarrow_{r4} 5
\end{align}</math>
संगत समानताएं हैं  
:<math>\begin{align}
& A_2(1)
  = A^2_1(1)
  = A_1(A_1(1))
  = A_1(A^2_0(1))
  = A_1(A_0(A_0(1))) \\
& = A_1(A_0(2)) = A_1(3) 
  = A^4_0(1)
  = A^3_0(A_0(1))
  = A^3_0(2) \\
& = A^2_0(A_0(2))
  = A^2_0(3)
  = A_0(A_0(3))
  = A_0(4) = 5
\end{align}</math>
टिप्पणियां
*किसी दिए गए आगम पर अब तक प्रस्तुत टीआरएस समान चरणों में अभिसरण करते हैं। वे समान कटौती नियमों का भी उपयोग करते हैं (इस तुलना में नियमों r1, r2, r3 को क्रमशः नियम r4, r5, r6/r7 के समान माना जाता है)। उदाहरण के लिए, की कमी <math>A(2,1)</math> 14 चरणों में अभिसरित होता है: 6 × r1, 3 × r2, 5 × r3। की कमी <math>A_2(1)</math> समान 14 चरणों में अभिसरित होता है: 6 × r4, 3 × r5, 5 × r6/r7। टीआरएस उस क्रम में भिन्न होते हैं जिसमें कटौती नियम लागू होते हैं।
* कब <math>A_{i}(n)</math> {r4, r5, r6} नियमों का पालन करते हुए गणना की जाती है, स्टैक की अधिकतम लंबाई नीचे रहती है <math>2 \times A(i,n)</math>. जब नियम r6 के स्थान पर कमी नियम r7 का उपयोग किया जाता है, तो स्टैक की अधिकतम लंबाई केवल होती है <math>2(i+2)</math>. स्टैक की लंबाई पुनरावर्ती गहराई को दर्शाती है। नियमों के अनुसार कमी के रूप में {r4, r5, r7} में पुनरावर्तन की एक छोटी अधिकतम गहराई शामिल है,<ref group="n" name="letop6">The maximum depth of recursion refers to the number of levels of activation of a procedure which exist during the deepest call of the procedure. {{harvtxt|Cornelius|Kirby|1975}}</ref> यह गणना उस संबंध में अधिक कुशल है।

===टीआरएस, हाइपरऑपरेटरों पर आधारित===
जैसा {{harvtxt|सुंदब्लाड |1971}} - या {{harvtxt|पोर्टो|माटोस |1980}} - स्पष्ट रूप से दिखाया गया है, एकरमेन फलन अतिसंचालन अनुक्रम के संदर्भ में व्यक्त किया जा सकता है:
:<math>A(m,n) = \begin{cases}
 n+1 & m=0 \\
 2[m](n+3) - 3 & m>0 \\
\end{cases}</math>
या, बक के फलन के संदर्भ में, पैरामीटर सूची से निरंतर 2 को हटाने के बाद
  
:::<math> = \begin{cases}
 n+1 & m=0 \\
 F(m,n+3) - 3 & m>0 \\
\end{cases}</math>
बक का फलन <math>\operatorname{F}(m,n) = 2[m]n</math>,{{sfn|Buck|1963}} एकरमैन फलन का एक भिन्न रूप, जिसकी गणना निम्न कमी नियमों के साथ की जा सकती है:
:<math> 
\begin{array}{lll}
\text{(b1)} & F(S(0),0,n)          & \rightarrow & S(n) \\
\text{(b2)} & F(S(0),S(0),0)       & \rightarrow & S(S(0)) \\
\text{(b3)} & F(S(0),S(S(0)),0)    & \rightarrow & 0 \\
\text{(b4)} & F(S(0),S(S(S(m))),0) & \rightarrow & S(0) \\
\text{(b5)} & F(S(0),S(m),S(n))    & \rightarrow & F(S(n),m,F(S(0),S(m),0)) \\
\text{(b6)} & F(S(S(x)),m,n)       & \rightarrow & F(S(0),m,F(S(x),m,n))
\end{array}
</math>
नियम b6 के स्थान पर नियम को परिभाषित किया जा सकता है
:<math>
\begin{array}{lll}
\text{(b7)} & F(S(S(x)),m,n)       & \rightarrow & F(S(x),m,F(S(0),m,n))
\end{array}
</math>
एकरमैन फलन की गणना करने के लिए तीन कटौती नियमों को जोड़ना पर्याप्त है
:<math> 
\begin{array}{lll}
\text{(r8)}  & A(0,n)	     & \rightarrow & S(n) \\
\text{(r9)}  & A(S(m),n)     & \rightarrow & P(F(S(0),S(m),S(S(S(n))))) \\
\text{(r10)} & P(S(S(S(m)))) & \rightarrow & m \\
\end{array}
</math>
ये नियम बेस केस A (0, n), संरेखण (n + 3) और फज (-3) का ख्याल रखते हैं।

उदाहरण

गणना करना <math>A(2,1) \rightarrow_{*} 5</math>
{|
| align="left" |कमी नियम के उपयोग से  <math>\text{b7}</math>:<ref group="n" name="letop1" />{{space|4}}
| align="left" |कमी नियम के उपयोग से  <math>\text{b6}</math>:<ref group="n" name="letop1" />
|-
|<math>\underline{A(2,1)}</math>
|<math>\underline{A(2,1)}</math>
|-
|{{space|4}}<math>\rightarrow_{r9}  P(\underline{F(1,2,4)})</math>
|{{space|4}}<math>\rightarrow_{r9} P(\underline{F(1,2,4)})</math>
|-
|{{space|4}}<math>\rightarrow_{b5} P(F(4,1,\underline{F(1,2,0)}))</math>
|{{space|4}}<math>\rightarrow_{b5} P(F(4,1,\underline{F(1,2,0)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b3} P(\underline{F(4,1,0)})</math>
|{{space|4}}<math>\rightarrow_{b3} P(\underline{F(4,1,0)})</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(3,1,\underline{F(1,1,0)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,\underline{F(3,1,0)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b2} P(\underline{F(3,1,2)})</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,1,\underline{F(2,1,0)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(2,1,\underline{F(1,1,2)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,1,F(1,1,\underline{F(1,1,0)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b5} P(F(2,1,F(2,0,\underline{F(1,1,0)})))</math>{{space|10}}
|{{space|4}}<math>\rightarrow_{b2} P(F(1,1,F(1,1,\underline{F(1,1,2)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b2} P(F(2,1,\underline{F(2,0,2)}))</math>
|{{space|4}}<math>\rightarrow_{b5} P(F(1,1,F(1,1,F(2,0,\underline{F(1,1,0)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(2,1,F(1,0,\underline{F(1,0,2)})))</math>
|{{space|4}}<math>\rightarrow_{b2} P(F(1,1,F(1,1,\underline{F(2,0,2)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(F(2,1,\underline{F(1,0,3)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,1,F(1,0,\underline{F(1,0,2)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(2,1,4)})</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,F(1,1,\underline{F(1,0,3)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(1,1,\underline{F(1,1,4)}))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,\underline{F(1,1,4)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b5} P(F(1,1,F(4,0,\underline{F(1,1,0)})))</math>
|{{space|4}}<math>\rightarrow_{b5} P(F(1,1,F(4,0,\underline{F(1,1,0)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b2} P(F(1,1,\underline{F(4,0,2)}))</math>
|{{space|4}}<math>\rightarrow_{b2} P(F(1,1,\underline{F(4,0,2)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(1,1,F(3,0,\underline{F(1,0,2)})))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,0,\underline{F(3,0,2)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,\underline{F(3,0,3)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,0,F(1,0,\underline{F(2,0,2)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(1,1,F(2,0,\underline{F(1,0,3)})))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,1,F(1,0,F(1,0,F(1,0,\underline{F(1,0,2)})))))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,\underline{F(2,0,4)}))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,F(1,0,F(1,0,\underline{F(1,0,3)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(1,1,F(1,0,\underline{F(1,0,4)})))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,F(1,0,\underline{F(1,0,4)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,\underline{F(1,0,5)}))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,1,\underline{F(1,0,5)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(1,1,6)})</math>
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(1,1,6)})</math>
|-
|{{space|4}}<math>\rightarrow_{b5} P(F(6,0,\underline{F(1,1,0)}))</math>
|{{space|4}}<math>\rightarrow_{b5} P(F(6,0,\underline{F(1,1,0)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b2} P(\underline{F(6,0,2)})</math>
|{{space|4}}<math>\rightarrow_{b2} P(\underline{F(6,0,2)})</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(5,0,\underline{F(1,0,2)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,0,\underline{F(5,0,2)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(5,0,3)})</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,0,F(1,0,\underline{F(4,0,2)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(4,0,\underline{F(1,0,3)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,0,F(1,0,F(1,0,\underline{F(3,0,2)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(4,0,4)})</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,0,F(1,0,F(1,0,F(1,0,\underline{F(2,0,2)})))))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(3,0,\underline{F(1,0,4)}))</math>
|{{space|4}}<math>\rightarrow_{b6} P(F(1,0,F(1,0,F(1,0,F(1,0,F(1,0,\underline{F(1,0,2)}))))))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(3,0,5)})</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,0,F(1,0,F(1,0,F(1,0,\underline{F(1,0,3)})))))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(2,0,\underline{F(1,0,5)}))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,0,F(1,0,F(1,0,\underline{F(1,0,4)}))))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(2,0,6)})</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,0,F(1,0,\underline{F(1,0,5)})))</math>
|-
|{{space|4}}<math>\rightarrow_{b7} P(F(1,0,\underline{F(1,0,6)}))</math>
|{{space|4}}<math>\rightarrow_{b1} P(F(1,0,\underline{F(1,0,6)}))</math>
|-
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(1,0,7)})</math>
|{{space|4}}<math>\rightarrow_{b1} P(\underline{F(1,0,7)})</math>
|-
|{{space|4}}<math>\rightarrow_{b1} \underline{P(8)}</math>
|{{space|4}}<math>\rightarrow_{b1} \underline{P(8)}</math>
|-
|{{space|4}}<math>\rightarrow_{r10} 5</math>
|{{space|4}}<math>\rightarrow_{r10} 5</math>
|}
मिलान करने वाली समानताएं हैं 
*जब टीआरएस कटौती नियम के साथ <math>\text{b6}</math> लागू की गई है:
:<math>\begin{align}
& A(2,1) +3
= F(2,4)
= \dots
= F^6(0,2)
= F(0,F^5(0,2))
= F(0,F(0,F^4(0,2))) \\
& = F(0,F(0,F(0,F^3(0,2))))
= F(0,F(0,F(0,F(0,F^2(0,2)))))
= F(0,F(0,F(0,F(0,F(0,F(0,2)))))) \\
& = F(0,F(0,F(0,F(0,F(0,3)))))
= F(0,F(0,F(0,F(0,4))))
= F(0,F(0,F(0,5)))
= F(0,F(0,6))
= F(0,7)
= 8
\end{align}</math>
*जब टीआरएस कटौती नियम के साथ <math>\text{b7}</math> लागू की गई है:
:<math>\begin{align}
& A(2,1) +3
= F(2,4)
= \dots
= F^6(0,2)
= F^5(0,F(0,2))
= F^5(0,3)
= F^4(0,F(0,3))
= F^4(0,4) \\
& = F^3(0,F(0,4))
= F^3(0,5)
= F^2(0,F(0,5))
= F^2(0,6)
= F(0,F(0,6))
= F(0,7)
= 8
\end{align}</math>
टिप्पणियां
*की गणना <math>\operatorname{A}_{i}(n)</math> नियमों के मुताबिक {b1 - b5, b6, r8 - r10} गहरा पुनरावर्ती है। नेस्टेड की अधिकतम गहराई <math>F</math> एस है <math>A(i,n)+1</math>. अपराधी वह क्रम है जिसमें पुनरावृत्ति निष्पादित होती है: <math>F^{n+1}(x) = F(F^{n}(x))</math>. सबसे पहला <math>F</math> पूरे क्रम के सामने आने के बाद ही गायब हो जाता है।
*नियमों के अनुसार गणना {b1 - b5, b7, r8 - r10} उस संबंध में अधिक कुशल है। पुनरावृत्ति <math>F^{n+1}(x) = F^{n}(F(x))</math> कोड के एक ब्लॉक पर बार-बार लूप को सिम्युलेट करता है।<ref group="n" name="letop7">'''LOOP''' n+1 '''TIMES DO''' F</ref> घोंसला बनाना तक सीमित है <math>(i+1)</math>, प्रति पुनरावृत्त फलन के लिए एक पुनरावर्तन स्तर। {{harvtxt|मेयर|रिची|1967}} यह पत्राचार दिखाया।
*ये विचार केवल पुनरावर्तन गहराई से संबंधित हैं। पुनरावृति का कोई भी तरीका समान नियमों को शामिल करते हुए समान संख्या में कटौती चरणों की ओर ले जाता है (जब नियम b6 और b7 को समान माना जाता है)। की कमी <math>A(2,1)</math> उदाहरण के लिए 35 चरणों में परिवर्तित होता है: 12 × b1, 4 × b2, 1 × b3, 4 × b5, 12 × b6/b7, 1 × r9, 1 × r10। फलनप्रणाली केवल उस क्रम को प्रभावित करती है जिसमें कटौती नियम लागू होते हैं।
*निष्पादन समय का वास्तविक लाभ बार-बार उप-परिणामों की पुनर्गणना न करके ही प्राप्त किया जा सकता है। [[संस्मरण]] एक ऑप्टिमाइज़ेशन तकनीक है जहाँ फलन कॉल के परिणाम कैश किए जाते हैं और उसी आगम के फिर से आने पर वापस आ जाते हैं। उदाहरण के लिए देखें {{harvtxt|वार्ड |1993}}. {{harvtxt|ग्रॉसमैन |जेटमन|1988}} एक चालाक कलन विधि प्रकाशित किया जो गणना करता है <math>A(i,n)</math> अंदर <math>\mathcal{O}(i A(i,n))</math> समय और भीतर <math>\mathcal{O}(i)</math> स्थान ।

===बड़ी संख्या===
यह प्रदर्शित करने के लिए कि की गणना कैसे की जाती है <math>A(4, 3)</math> कई चरणों में और बड़ी संख्या में परिणाम:<ref group="n" name="letop1" /> 

:<math>\begin{align}
A(4, 3) & \rightarrow A(3, A(4, 2)) \\
& \rightarrow A(3, A(3, A(4, 1))) \\
& \rightarrow A(3, A(3, A(3, A(4, 0)))) \\
& \rightarrow A(3, A(3, A(3, A(3, 1)))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(3, 0))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(2, 1))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, A(2, 0)))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, A(1, 1)))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, A(0, A(1, 0))))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, A(0, A(0, 1))))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, A(0, 2)))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(1, 3))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(1, 2)))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(0, A(1, 1))))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(0, A(0, A(1, 0)))))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(0, A(0, A(0, 1)))))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(0, A(0, 2)) )) )) ) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, A(0, 3)))))) \\
& \rightarrow A(3, A(3, A(3, A(2, A(0, 4))))) \\
& \rightarrow A(3, A(3, A(3, A(2, 5)))) \\
& \qquad\vdots \\
& \rightarrow A(3, A(3, A(3, 13))) \\
& \qquad\vdots \\
& \rightarrow A(3, A(3, 65533)) \\
&\qquad\vdots \\
& \rightarrow A(3, 2^{65536} - 3) \\
&\qquad\vdots \\
& \rightarrow 2^{2^{65536}} - 3. \\
\end{align}</math>


==मानों की सारणी==
एकरमैन फलन की गणना एक अनंत सारणी के रूप में की जा सकती है। सबसे पहले, प्राकृतिक संख्याओं को शीर्ष पंक्ति में रखें। सारणी में संख्या निर्धारित करने के लिए, संख्या को तुरंत बाईं ओर ले जाएं। फिर उस संख्या का उपयोग उस संख्या और एक पंक्ति द्वारा दिए गए स्तंभ में आवश्यक संख्या देखने के लिए करें। यदि इसके बाईं ओर कोई संख्या नहीं है, तो बस पिछली पंक्ति में 1 वाले स्तंभ को देखें। यहाँ सारणी का एक छोटा ऊपरी-बाएँ भाग है:

{| class="wikitable"
|+''A'' के मान (''m'',&nbsp;''n'')
|-
! {{diagonal split header|''m''|''n''}}
!0
!1
!2
!3
!4
!''n''
|-
!0
|1
|
2||3||4|| 5||<math>n + 1</math>
|-
!1
|2
| 
3|| 4|| 5||6||<math>n + 2 = 2 + (n + 3) - 3</math>
|-
! 2
| 3
|
5||7|| 9||11 ||<math>2n + 3 = 2\cdot(n + 3) - 3</math>
|-
!3
| 5
|
13|| 29||61||125||<math>2^{(n + 3)} - 3</math>
|-
!4
|13 <br /><br /><math>={2^{2^{2}}}-3</math><br /><math>=2\uparrow\uparrow 3 - 3</math>
|65533 <br /><br /><math>={2^{2^{2^{2}}}}-3</math><br /><math>=2\uparrow\uparrow 4 - 3</math>
| 2<sup>65536</sup>&nbsp;−&nbsp;3 <br /><br /><math>={2^{2^{2^{2^{2}}}}}-3</math><br /><math>=2\uparrow\uparrow 5 - 3</math>
|<math>{2^{2^{65536}}} - 3</math> <br /><br /><math>={2^{2^{2^{2^{2^{2}}}}}}-3</math><br /><math>=2\uparrow\uparrow 6 - 3</math>
|<math>{2^{2^{2^{65536}}}} - 3</math> <br /><br /><math>={2^{2^{2^{2^{2^{2^{2}}}}}}}-3</math><br /><math>=2\uparrow\uparrow 7 - 3</math>
|<math>\begin{matrix}\underbrace{{2^2}^{{\cdot}^{{\cdot}^{{\cdot}^2}}}}_{n+3} - 3\end{matrix}</math><br /><br /><math>=2\uparrow\uparrow (n+3) - 3</math>
|-
!5
|65533 <br /><math>=2\uparrow\uparrow(2\uparrow\uparrow 2) - 3</math><br /><math>=2\uparrow\uparrow\uparrow 3 - 3</math>
|<math>2\uparrow\uparrow\uparrow 4 - 3</math>
|<math>2\uparrow\uparrow\uparrow 5 - 3</math>
|<math>2\uparrow\uparrow\uparrow 6 - 3</math>
|<math>2\uparrow\uparrow\uparrow 7 - 3</math>
|<math>2\uparrow\uparrow\uparrow (n+3) - 3</math>
|-
!6
|<math>2\uparrow\uparrow\uparrow\uparrow 3 - 3</math>
|<math>2\uparrow\uparrow\uparrow\uparrow 4 - 3</math>
|<math>2\uparrow\uparrow\uparrow\uparrow 5 - 3</math>
|<math>2\uparrow\uparrow\uparrow\uparrow 6 - 3</math>
|<math>2\uparrow\uparrow\uparrow\uparrow 7 - 3</math>
|<math>2\uparrow\uparrow\uparrow\uparrow (n+3) - 3</math>
|-
!''m''
|<math>(2\to 3\to(m-2))-3</math>
|<math>(2\to 4\to(m-2))-3</math>
|<math>(2\to 5\to(m-2))-3</math>
|<math>(2\to 6\to(m-2))-3</math>
|<math>(2\to 7\to(m-2))-3</math>
|<math>(2\to(n+3)\to(m-2))-3</math>
|}
यहां संख्याएं जो केवल पुनरावर्ती घातांकीय या नुथ के उच्च-तीर संकेतन के साथ व्यक्त की जाती हैं, जो कि बहुत बड़ी होती हैं और दशमलव अंक प्रणाली में लिखने के लिए बहुत अधिक स्थान लेती हैं।

सारणी के इस प्रारंभिक खंड में बड़ी संख्याओं के होने के बावजूद, कुछ और भी बड़ी संख्याओं को परिभाषित किया गया है, जैसे ग्राहम की संख्या, जिसे किसी भी छोटी संख्या में नूथ तीरों के साथ नहीं लिखा जा सकता है। यह संख्या एक ऐसी तकनीक के साथ बनाई गई है जो एकरमेन फलन को पुनरावर्ती रूप से लागू करने के समान है।

यह उपरोक्त सारणी का अन्य स्वरुप  है, लेकिन पैटर्न को स्पष्ट रूप से दिखाने के लिए फलन परिभाषा से प्रासंगिक अभिव्यक्ति द्वारा प्रतिस्थापित मानों के साथ:

{| class="wikitable"
|+''A'' के मान (''m'',&nbsp;''n'')
|-
! {{diagonal split header|''m''|''n''}}
!0
!1
!2
!3
!4
!''n''
|-
!0
| 0+1||1+1||2+1||3+1||4+1 ||''n'' + 1
|-
!1
|''A''(0, 1)||''A''(0, ''A''(1, 0))<br />= ''A''(0, 2)||''A''(0, ''A''(1, 1))<br />= ''A''(0, 3)||''A''(0, ''A''(1, 2))<br />= ''A''(0, 4)||''A''(0, ''A''(1, 3))<br />= ''A''(0, 5)||''A''(0, ''A''(1, ''n''−1))
|-
!2
|''A''(1, 1)||''A''(1, ''A''(2, 0))<br />= ''A''(1, 3)||''A''(1, ''A''(2, 1))<br />= ''A''(1, 5)||''A''(1, ''A''(2, 2))<br />= ''A''(1, 7)||''A''(1, ''A''(2, 3))<br />= ''A''(1, 9)||''A''(1, ''A''(2, ''n''−1))
|-
!3
|''A''(2, 1)||''A''(2, ''A''(3, 0))<br />= ''A''(2, 5)||''A''(2, ''A''(3, 1))<br />= ''A''(2, 13)||''A''(2, ''A''(3, 2))<br />= ''A''(2, 29)||''A''(2, ''A''(3, 3))<br />= ''A''(2, 61)||''A''(2, ''A''(3, ''n''−1))
|-
!4
|''A''(3, 1)||''A''(3, ''A''(4, 0))<br />= ''A''(3, 13)||''A''(3, ''A''(4, 1))<br />= ''A''(3, 65533)||''A''(3, ''A''(4, 2))||''A''(3, ''A''(4, 3))||''A''(3, ''A''(4, ''n''−1))
|-
! 5
|''A''(4, 1)||''A''(4, ''A''(5, 0))||''A''(4, ''A''(5, 1))||''A''(4, ''A''(5, 2))||''A''(4, ''A''(5, 3))||''A''(4, ''A''(5, ''n''−1))
|-
! 6
|''A''(5, 1)||''A''(5, ''A''(6, 0))||''A''(5, ''A''(6, 1))||''A''(5, ''A''(6, 2))||''A''(5, ''A''(6, 3))||''A''(5, ''A''(6, ''n''−1))
|}


==गुण==

===सामान्य टिप्पणी===
*यह तुरंत स्पष्ट नहीं किया जा सकता है कि का मूल्यांकन <math>A(m, n)</math> हमेशा समाप्त हो चुका है। हालाँकि, पुनरावर्तन बाध्य है क्योंकि प्रत्येक पुनरावर्ती अनुप्रयोग में या तो <math>m</math> घटता है, या  फिर <math>m</math> वही रहता है और <math>n</math> घटता है। हर बार यदि <math>n</math> शून्य हो जाता है, तो <math>m</math> घटता है, इसलिए <math>m</math> अंततः शून्य  हो जाता है। (अधिक तकनीकी रूप से व्यक्त, प्रत्येक मामले में जोड़ी <math>(m,n)</math> जोड़े पर शब्दकोष क्रम में घटता है, जो एक अच्छी तरह से क्रमित है, ठीक एकल ऋणोतर पूर्णांकों के क्रम की तरह; इसका मतलब यह है कि कोई व्यक्ति लगातार कई बार क्रम में नीचे नहीं जा सकता है।) हालांकि,  <math>m</math> कब घटता है और कितना इस पर कोई ऊपरी सीमा निर्धारित नहीं है कि  <math>n</math> कितना बढ़ सकता है - और यह अक्सर बहुत बढ़ जाता है ।
*1, 2, या 3 जैसे m के छोटे मानों के लिए, एकरमैन फलन n के संबंध में अपेक्षाकृत धीमी गति से बढ़ता है (अधिकतम [[घातीय वृद्धि]] पर)। हालाँकि  <math>m\geq 4</math> के लिये , यह बहुत अधिक तेज़ी से बढ़ता है; यहाँ तक की <math>A(4,2)</math> लगभग 2{{e|19728}}, और  <math>A(4, 3)</math> का दशमलव विस्तार किसी भी विशिष्ट माप से बहुत बड़ा है।
*एक दिलचस्प पहलू यह है कि इसके द्वारा उपयोग किया जाने वाला एकमात्र अंकगणितीय संक्रिया 1 का जोड़ है। इसकी तेजी से बढ़ती शक्ति पूरी तरह से नेस्टेड पुनरावर्तन पर आधारित है। इसका तात्पर्य यह भी है कि इसके गणना करने का समय कम से कम इसके गुणन के अनुपात में है, और यह भी बहुत बड़ा है। वास्तविकता में, ज्यादातर मामलों में गणना करने का समय निर्गम से कहीं बड़ा होता है; जैसा की ऊपर प्रदर्शित किया गया है।
*एक एकल-प्राचर संस्करण <math>f(n)=A(n,n)</math> जो दोनों  <math>m</math> तथा <math>n</math> को बढ़ाता है एक ही समय में प्रत्येक मूल पुनरावर्ती फलन को बौना कर देता है, जिसमें बहुत तेजी से बढ़ने वाले फलन शामिल हैं जैसे कि घातीय फलन, बहुउद्देशीय फलन, बहु- और [[superactorial|सुपरफैक्टोरियल]] फलन, और यहां तक कि क्नुथ के उच्च-तीर संकेतन का उपयोग करके परिभाषित फलन (अनुक्रमित उच्च-तीर को छोड़कर) प्रयोग किया जाता है)। यह देखा जा सकता है <math>f(n)</math> मोटे तौर पर तुलनीय है <math>f_{\omega}(n)</math> तेजी से बढ़ते पदानुक्रम में। यह दिखाने के लिए इस चरम वृद्धि का फायदा उठाया जा सकता है <math>f</math> जो स्पष्ट रूप से [[ट्यूरिंग मशीन]] जैसी अनंत मेमोरी वाली मशीन पर गणना योग्य है और इसलिए एक गणना योग्य फलन है, किसी भी मूल पुनरावर्ती फलन की तुलना में तेजी से बढ़ता है और इसलिए मूल पुनरावर्ती नहीं है।

===== मूल पुनरावर्ती  नहीं =====
एकरमैन फलन किसी भी मूल पुनरावर्ती फलन की तुलना में तेज़ी से बढ़ता है और इसलिए स्वयं मूल पुनरावर्ती नहीं है। सबूत का स्केच यह है:  एक मूल पुनरावर्ती फलन जो k पुनरावर्ती तक का उपयोग करके परिभाषित है फलन  <math>f_{k+1}(n)</math>  (k+1)-th फलन तेजी से बढ़ते पदानुक्रम की तुलना में धीमी गति से बढ़ना चाहिए, लेकिन एकरमैन फलन कम से कम  <math>f_\omega(n)</math>  फलन जितना ही तेज़ी से बढ़ना चाहिए।

विशेष रूप से, एक दिखाता है कि प्रत्येक मूल पुनरावर्ती फलन <math>f(x_1,\ldots,x_n)</math>  के लिए एक ऋणोतर पूर्णांक <math>t</math> मौजूद है  कि सभी ऋणोतर पूर्णांकों के लिए <math>x_1,\ldots,x_n</math>,

:<math>f(x_1,\ldots,x_n)<A(t,\max_i x_i).</math>
एक बार यह स्थापित हो जाने के बाद, यह अनुसरण करता है कि  <math>A</math> स्वयं मूल पुनरावर्ती नहीं है, अन्यथा डालने के बाद से <math>x_1=x_2=t</math> विरोधाभास की ओर ले जाएगा <math>A(t,t)<A(t,t).</math>

सबूत<ref>{{Cite web|url=http://planetmath.org/ackermannfunctionisnotprimitiverecursive|title=एकरमैन फ़ंक्शन प्रिमिटिव रिकर्सिव {{!}} Planetmath.org नहीं है|last=Woo|first=Chi|date=2009-12-17|website=planetmath.org|language=en|archive-url= https://web.archive.org/web/20130509202634/http://planetmath.org/ackermannfunctionisnotprimitiverecursive|archive-date=2013-05-09|url-status=dead}}</ref> निम्नानुसार आगे बढ़ता है:  सभी फलनों के लिए एक वर्ग <math>\mathcal{A}</math> को परिभाषित करें जो एकरमेन फलन की तुलना में धीमी गति से बढ़ता हो 

:<math>\mathcal{A}=\left\{ f\,\bigg|\,\exists t\ \forall x_1\cdots \forall x_n:\ f(x_1,\ldots,x_n)<A(t, \max_i x_i) \right\} </math>
और यह प्रदर्शित करे कि <math>\mathcal{A}</math>  में सभी मूल पुनरावर्ती फलन शामिल हैं।उत्तरार्द्ध इसे दिखाकर हासिल किया जाता है <math>\mathcal{A}</math> इसमें निरंतर फलन, उत्तराधिकारी फलन, प्रक्षेपण फलन शामिल हैं और यह फलन रचना और मूल पुनरावर्तन के संचालन के तहत बंद है।

==प्रतिलोम==
फलन के बाद से {{nowrap|1=&nbsp;''f''(''n'') = ''A''(''n'', ''n'')}} ऊपर माना गया बहुत तेजी से बढ़ता है, इसका प्रतिलोम फलन, f{{i sup|−1}}, बहुत धीमी गति से बढ़ता है। यह प्रतिलोम एकरमैन फलन ''f''<sup>−1</sup> को आमतौर पर ''α'' से दर्शाया जाता है। वास्तव में, ''α''(''n'') किसी भी व्यावहारिक आगम आकार ''n'' के लिए 5 से कम है, क्योंकि {{nowrap|''A''(4, 4)}} के आदेश पर है <math>2^{2^{2^{2^{16}}}}</math>

यह प्रतिलोम कुछ कलन विधि के समय [[कम्प्यूटेशनल जटिलता सिद्धांत|संगणना जटिलता सिद्धांत]] में दिखाई देता है, जैसे कि न्यूनतम स्पैन्मिंग ट्री के लिए चैजेलल कलन विधि। कभी-कभी इन सेटिंग्स में एकरमैन के मूल फलन या अन्य प्रकार की वस्तुएं इन सेटिंग्स में प्रयोग की जाती है,  ये सभी समान रूप से उच्च दर पर बढ़ती हैं। विशेष रूप से, कुछ संशोधित फलन, -3 और इसी तरह की शर्तों को हटाकर अभिव्यक्ति को सरल बनाते हैं।

प्रतिलोम एकरमैन फलन के दो-पैरामीटर रूपांतर को निम्नानुसार परिभाषित किया जा सकता है, जहां <math>\lfloor x \rfloor</math> फ्लोर फलन है:  

:<math>\alpha(m,n) = \min\{i \geq 1 : A(i,\lfloor m/n \rfloor) \geq \log_2 n\}.</math>
यह फलन ऊपर उल्लिखित कलन विधि के अधिक सटीक विश्लेषण में उत्पन्न होता है, और अधिक परिष्कृत समय सीमा प्रदान करता है। असम्बद्ध-समूह डेटा संरचना में, एम संचालन की संख्या का प्रतिनिधित्व करता है जबकि एन तत्वों की संख्या का प्रतिनिधित्व करता है; मिनिमम स्पैनिंग ट्री एल्गोरिथम में, m किनारों की संख्या का प्रतिनिधित्व करता है जबकि n वर्टिकल की संख्या का प्रतिनिधित्व करता है। की कई थोड़ी अलग परिभाषाएँ {{nowrap|''α''(''m'', ''n'')}} मौजूद; उदाहरण के लिए, {{nowrap|log<sub>2</sub> ''n''}} कभी-कभी n द्वारा प्रतिस्थापित किया जाता है, और कभी-कभी फर्श फलन को [[छत समारोह|फ्लोर फलन]] द्वारा प्रतिस्थापित किया जाता है।

अन्य अध्ययन एक के प्रतिलोम फलन को परिभाषित कर सकते हैं जहां m एक स्थिरांक पर समूह है, जैसे कि प्रतिलोम किसी विशेष पंक्ति पर लागू होता है। {{sfn|Pettie|2002}}
एकरमैन फलन का प्रतिलोम मूल पुनरावर्ती है।{{sfn|Matos|2014}}


==बेंचमार्क के रूप में प्रयोग करें ==
एकरमैन फलन, अत्यधिक गहरी पुनरावर्ती के संदर्भ में इसकी परिभाषा के कारण, पुनरावर्ती को अनुकूलित करने के लिए [[संकलक]] की क्षमता के बेंचमार्क के रूप में उपयोग किया जा सकता है। इस तरह से एकरमैन के फलन का पहला प्रकाशित उपयोग 1970 में ड्रैगोस वैदा द्वारा किया गया था।{{sfn|Vaida|1970}} और, लगभग एक साथ, 1971 में, येंगवे सुंदब्लाड द्वारा।{{sfn|Sundblad|1971}}
1975 और 1982 के बीच लिखे गए पत्रों की एक त्रयी में ब्रायन विचमैन ([[वेटस्टोन (बेंचमार्क)]] के सह-लेखक) द्वारा सुंदरब्लैड का मौलिक पेपर लिया गया था।{{sfn|Wichmann|1976}}{{sfn|Wichmann|1977}}{{sfn|Wichmann|1982}}


==यह भी देखें== 
<!-- keep alphabetical -->
*संगणनीयता सिद्धांत
*[[डबल रिकर्सन|डबल पुनरावर्ती]]
*तेजी से बढ़ती पदानुक्रम
*[[गुडस्टीन समारोह|गुडस्टीन फलन]]
*मूल पुनरावर्ती फलन
*[[रिकर्सन (कंप्यूटर विज्ञान)|पुनरावर्ती (कंप्यूटर विज्ञान)]]
<!-- keep alphabetical -->


==टिप्पणियाँ==
{{reflist|group="n"}}


==संदर्भ==
{{reflist}}


==ग्रन्थसूची ==
{{Refbegin}}
*{{cite journal
 |last= Ackermann
 |first= Wilhelm
 |author-link= Wilhelm Ackermann
 |journal= [[Mathematische Annalen]]
 |title= Zum Hilbertschen Aufbau der reellen Zahlen
 |year= 1928
 |volume= 99
 |pages= 118–133
 |url= http://gdz.sub.uni-goettingen.de/en/dms/loader/img/?PPN=PPN235181684_0099&DMDID=DMDLOG_0009
 |doi= 10.1007/BF01459088
 |s2cid= 123431274
}}
*{{cite journal 
 |last= Buck 
 |first= R.C. 
 |author-link= Robert_Creighton_Buck
 |title= Mathematical Induction and Recursive Definitions 
 |journal= [[American Mathematical Monthly]] 
 |year= 1963 
 |volume= 70 
 |issue= 2 
 |pages= 128–135 
 |doi= 10.2307/2312881 
 |jstor= 2312881 
 |doi-access= free 
}}
*{{cite journal 
 |last1= Calude
 |first1= Cristian
 |author-link1= Cristian S. Calude
 |last2= Marcus
 |first2= Solomon
 |author-link2= Solomon Marcus
 |last3= Tevy 
 |first3= Ionel
 |journal= Historia Math. 
 |title= The first example of a recursive function which is not primitive recursive 
 |date= November 1979 
 |pages= 380–84 
 |volume= 6 
 |issue= 4 
 |doi= 10.1016/0315-0860(79)90024-7
 |doi-access= free
}}
*{{cite book
 |last= Cohen
 |first= Daniel E.
 |title= Computability and logic
 |publisher= Halsted Press
 |date= January 1987
 |isbn=9780745800349
}}
*{{cite journal 
 |last1= Cornelius
 |first1= B.J. 
 |last2= Kirby
 |first2= G.H.
 |journal = [[BIT Numerical Mathematics]] 
 |title= Depth of recursion and the ackermann function 
 |year= 1975 
 |pages= 144–150 
 |volume= 15 
 |issue= 2 
 |doi= 10.1007/BF01932687
|s2cid= 120532578 
 }}
*{{cite journal 
 |last1= Grossman
 |first1= Jerrold W.
 |last2= Zeitman
 |first2= R.Suzanne
 |journal = [[Theoretical Computer Science]] 
 |title= An inherently iterative computation of ackermann's function 
 |date= May 1988 
 |pages= 327–330 
 |volume= 57
 |issue= 2–3 
 |doi= 10.1016/0304-3975(88)90046-1
 |doi-access= free
}}
*{{cite book
 |last= van Heijenoort
 |first= Jean
 |title= From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931
 |publisher= Harvard University Press
 |orig-year= reprinted with corrections, first published in 1967
 |year= 1977
}}
*{{cite journal 
 |last= Hilbert
 |first= David
 |author-link= David Hilbert
 |journal= [[Mathematische Annalen]] 
 |title= Über das Unendliche 
 |year= 1926 
 |volume= 95
 |pages= 161–190 
 |doi= 10.1007/BF01206605
 |s2cid= 121888793
}}
*{{cite web
 |last= Matos 
 |first= Armando B
 |title= The inverse of the Ackermann function is primitive recursive 
 |date= May 7, 2014 
 |url= http://www.dcc.fc.up.pt/~acm/PRinv.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://www.dcc.fc.up.pt/~acm/PRinv.pdf |archive-date=2022-10-09 |url-status=live
}}
*{{cite report 
 |last1= Meeussen
 |first1= V.C.S.
 |last2= Zantema
 |first2= H.
 |title= Derivation lengths in term rewriting from interpretations in the naturals 
 |publisher= Universiteit Utrecht. UU-CS, Department of Computer Science 
 |url= https://research.tue.nl/files/4245011/398270.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://research.tue.nl/files/4245011/398270.pdf |archive-date=2022-10-09 |url-status=live 
 |year= 1992 
 |issn= 0924-3275
}}
*{{cite conference 
 |last1= Meyer 
 |first1= Albert R. 
 |author-link1= Albert R. Meyer 
 |last2= Ritchie 
 |first2= Dennis MacAlistair 
 |title= Proceedings of the 1967 22nd national conference 
 |author-link2= Dennis Ritchie 
 |chapter= The complexity of loop programs 
 |conference= ACM '67: Proceedings of the 1967 22nd national conference 
 |year= 1967 
 |pages= 465–469 
 |doi= 10.1145/800196.806014
}}
*{{cite book
 |last1= Monin
 |first1= Jean-Francois
 |last2= Hinchey
 |first2= M. G.
 |title= Understanding Formal Methods
 |publisher= Springer
 |year= 2003
 |isbn= 9781852332471
 |page= 61
 |url= https://books.google.com/books?id=rUudIPZD-B0C&pg=PA61
}}
*{{cite web 
 |last= Munafo 
 |first= Robert 
 |title= Versions of Ackermann's Function 
 |url= http://www.mrob.com/pub/math/ln-2deep.html 
 |work= Large Numbers at MROB 
 |date= 1999a 
 |access-date= 2021-11-06 
}}
*{{cite web 
 |last= Munafo 
 |first= Robert 
 |title= Inventing New Operators and Functions 
 |url= http://www.mrob.com/pub/math/largenum-3.html 
 |work= Large Numbers at MROB 
 |date= 1999b 
 |access-date= 2021-11-06 
}}
*{{cite web 
 |last= Paulson
 |first= Lawrence C.
 |title= Ackermann's Function in Iterative Form: A Proof Assistant Experiment 
 |url= https://www.researchgate.net/publication/351063906 
 |date= 2021
 |access-date= 2021-10-19 
}}
*{{cite journal 
 |last= Péter 
 |first= Rózsa
 |author-link= Rózsa Péter
 |journal= [[Mathematische Annalen]] 
 |title= Konstruktion nichtrekursiver Funktionen 
 |year= 1935 
 |volume= 111
 |pages= 42–60 
 |doi= 10.1007/BF01472200
 |s2cid= 121107217 
}}
*{{cite journal
 |last= Pettie
 |first= S.
 |year= 2002
 |title= An inverse-Ackermann style lower bound for the online minimum spanning tree verification problem
 |journal= The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings
 |pages= 155–163
 |doi= 10.1109/SFCS.2002.1181892
 |isbn= 0-7695-1822-2
 |s2cid= 8636108
}}
*{{cite journal 
 |last1= Porto 
 |first1= António 
 |last2= Matos
 |first2= Armando B.
 |title= Ackermann and the superpowers 
 |journal= [[ACM SIGACT|ACM SIGACT News]] 
 |date= 1 September 1980
 |volume= 12 
 |issue= 3 
 |url= https://www.dcc.fc.up.pt/~acm/ack.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://www.dcc.fc.up.pt/~acm/ack.pdf |archive-date=2022-10-09 |url-status=live 
 |doi= 10.1145/1008861.1008872 
 |page= Original version 1980, published in “ACM SIGACT News”, Modified in October 20, 2012, Modified in January 23, 2016 (working paper)
|s2cid= 29780652 
 }}
*{{cite journal 
 |last= Ritchie 
 |first= Robert Wells 
 |title= Classes of recursive functions based on Ackermann's function 
 |journal= [[Pacific Journal of Mathematics]] 
 |date= November 1965
 |volume= 15 
 |issue= 3 
 |pages= 1027–1044 
 |url= https://msp.org/pjm/1965/15-3/p25.xhtml 
 |doi= 10.2140/pjm.1965.15.1027
 |doi-access= free 
}}
*{{cite journal 
 |last= Robinson 
 |first= Raphael Mitchel 
 |author-link= Raphael M. Robinson
 |title= Recursion and Double Recursion 
 |journal= [[Bulletin of the American Mathematical Society]] 
 |year= 1948 
 |volume= 54 
 |pages= 987–93 
 |url= http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.bams/1183512393&page=record 
 |doi= 10.1090/S0002-9904-1948-09121-2 
 |issue= 10
 |doi-access= free 
}}
*{{cite journal
 |last= Sundblad
 |first= Yngve
 |date= March 1971
 |title= The Ackermann function. A theoretical, computational, and formula manipulative study
 |journal= BIT Numerical Mathematics
 |volume= 11
 |issue= 1
 |pages= 107–119
 |doi= 10.1007/BF01935330
 |s2cid= 123416408
}}
*{{cite journal
 |last= Vaida
 |first= Dragoș
 |date= 1970
 |title= Compiler Validation for an Algol-like Language
 |journal= Bulletin Mathématique de la Société des Sciences Mathématiques de la République Socialiste de Roumanie 
 |series= Nouvelle série
 |volume= 14 (62)
 |issue= 4
 |pages= 487–502
 |jstor= 43679758
}}
*{{citation|mode=cs1
 |last= Ward
 |first= Martin P.
 |date= 16 July 1993
 |title= Iterative Procedures for Computing Ackerman's Function
 |citeseerx= 10.1.1.35.9907
 }}
*{{cite journal
 |last= Wichmann
 |first= Brian A.
 |date= March 1976
 |title= Ackermann's function: A study in the efficiency of calling procedures
 |journal= BIT Numerical Mathematics
 |volume= 16
 |pages= 103–110
 |doi= 10.1007/BF01940783
 |s2cid= 16993343
}}
*{{cite journal
 |last= Wichmann
 |first= Brian A.
 |date= July 1977
 |title= How to call procedures, or second thoughts on Ackermann's function
 |journal= BIT Numerical Mathematics
 |volume= 16
 |issue= 3
 |pages= 103–110
 |doi= 10.1002/spe.4380070303
 |s2cid= 206507320
}}
*{{cite web
 |last= Wichmann
 |first= Brian A.
 |date= July 1982
 |title= Latest results from the procedure calling test, Ackermann's function
 |url= http://history.dcs.ed.ac.uk/archive/docs/Imp_Benchmarks/acklt.pdf |archive-url=https://ghostarchive.org/archive/20221009/http://history.dcs.ed.ac.uk/archive/docs/Imp_Benchmarks/acklt.pdf |archive-date=2022-10-09 |url-status=live
}}
{{Refend}}


==इस पेज में लापता आंतरिक लिंक की सूची== 

*संगणनीयता सिद्धांत
*पूर्ण फलन
*सूडान फलन
*योग
*प्रत्यावर्तन
*पुनरावृत्त फलन
*फलन रचना
*जोड़नेवाला
* स्टैक (सार डेटा प्रकार)
*अच्छी तरह से आदेश
*लेक्सिकोग्राफिक ऑर्डर
*घातांक प्रफलन
*तेजी से बढ़ने वाला पदानुक्रम
*प्रतिलोम काम करना
*न्यूनतम फैलाव वाला पेड़
*असंयुक्त-समूह डेटा संरचना
*फर्श फलन
==बाहरी संबंध==
*{{springer|title=Ackermann function|id=p/a120110|mode=cs1}}
*{{MathWorld | urlname = AckermannFunction | title = Ackermann function}}
*{{DADS|Ackermann's function|ackermann}}
*[http://www.gfredericks.com/main/sandbox/arith/ackermann An animated Ackermann function calculator]
*[http://timkoop.com/koop_loop_ackermanns_function_as_a_for_loop Ackerman function implemented using a for loop]
*[[Scott Aaronson]], ''[http://www.scottaaronson.com/writings/bignumbers.html Who can name the biggest number?]'' (1999)
*[http://www-users.cs.york.ac.uk/~susan/cyc/a/ackermnn.htm Ackermann functions]. Includes a table of some values.
*[http://forum.wolframscience.com/showthread.php?s=&threadid=579 Hyper-operations: Ackermann's Function and New Arithmetical Operation]
*[http://www.mrob.com/pub/math/largenum.html Robert Munafo's Large Numbers] describes several variations on the definition of ''A''.
*Gabriel Nivasch, [https://web.archive.org/web/20070821224819/http://yucs.org/~gnivasch/alpha/index.html Inverse Ackermann without pain] on the inverse Ackermann function.
*Raimund Seidel, ''[http://cgi.di.uoa.gr/~ewcg06/invited/Seidel.pdf Understanding the inverse Ackermann function]'' (PDF presentation).
*[http://rosettacode.org/wiki/Ackermann_Function The Ackermann function written in different programming languages], (on [[Rosetta Code]])
*[http://www.geocities.com/hjsmithh/Ackerman/index.html Ackermann's Function] ([https://web.archive.org/web/20091026171012/http://www.geocities.com/hjsmithh/Ackerman/index.html Archived] 2009-10-24)—Some study and programming by Harry J. Smith.

{{Hyperoperations}}
{{Large numbers}}
{{Authority control}}