Ackermann-függvény

1. Sablon:Matematika Az Ackermann-függvény egy példája egy nagyon gyorsan növekvő, teljes rekurzív függvénynek, amelyet gyakran használnak a rekurzió és a nem primitív rekurzív függvények viselkedésének szemléltetésére. Az Ackermann-függvényt az alábbiak szerint definiáljuk:

$$A(m,n)=\{\begin{array}{cc}n+1& \text{ha }m=0,\\ A(m-1,1)& \text{ha }m>0\text{ és }n=0,\\ A(m-1,A(m,n-1))& \text{ha }m>0\text{ és }n>0.\end{array}$$

Ez egy két változós függvény, amely nagyon gyorsan növekszik, különösen, ha az $m$ és $n$ értékek is nagyok. Az Ackermann-függvény jó példa arra, hogy milyen különbség van a primitív rekurzív és a teljes rekurzív függvények között, mivel nem primitív rekurzív, de teljes rekurzív. Sablon:-ford-

• Sablon:En: Sablon:T
• Sablon:Ru: Sablon:T