<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Ackermann function - Page 11 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Ackermann_function&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Ackermann_function&amp;p=12">3.Next</a>
</p>
<p>functions, one can set .</p>

<p>The function then becomes a sequence  of unary functions, defined from <a href="page.php?w=Iterated_function">iteration</a>:</p>

<p><big>Computation</big></p>
<p><big>Computation by LOOP program</big></p>
<p>The functions  fit into the (finite-level) <a href="page.php?w=fast-growing_hierarchy">fast-growing hierarchy</a> (FGH) of functions<br/>
:</p>

<p>The following inequality holds:</p>

<p>For fixed , the function  can be computed by a <a href="page.php?w=LOOP_%28programming_language%29">LOOP program</a> of nesting depth :<br/>
:<syntaxhighlight lang="python"><br/>
# INPUT (n)LOOP n:                  # nesting depth: 1    LOOP n:              # nesting depth: 2        ...              # ...            LOOP n:      # nesting depth: k                n += 1   # <br/>
# OUTPUT (n)</syntaxhighlight></p><p>
<a accesskey="1" href="page.php?w=Ackermann_function&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Ackermann_function&amp;p=12">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
