Ackermannova funkce: Porovnání verzí

Smazaný obsah Přidaný obsah
TimiBot (diskuse | příspěvky)
m Robot: Úprava přehlednosti kódu
Kvido (diskuse | příspěvky)
→‎Definice: doplnění původní verze se třemi parametry
Řádek 17:
</math>
 
Ackermannovu funkci jedné proměnné pak můžeme definovat jako <math>A(n)=A(n,n)</math>. Původní funkce definovaná v roce 1928 [[Wilhelm Ackermann|Wilhelmem Ackermannem]] měla argumenty tři. Zde uvedená Ackermannova funkce je tvar, na který funkci upravili [[Rosza Peter]] a [[Raphael Robinson]]. Původní funkce definovaná v roce 1928 [[Wilhelm Ackermann|Wilhelmem Ackermannem]] měla argumenty tři:
 
:{|
| <math>A(0,y,z)\qquad\qquad = y+z</math>
|-
| <math>A(x+1,0,z)\qquad = \left\{
\begin{matrix}
0,\quad\,&&\mbox{pro }x=0;
\\
1,\quad\,&&\mbox{pro }x=1;
\\
z,\quad\,&&\mbox{pro }x>1;
\end{matrix}
\right.
</math>
|-
| <math>A(x+1,y+1,z)\quad = A(x, A(x+1,y,z), z)</math>
|}
 
Myšlenka Ackermannovy funkce spočívá v tom, že pro x = 0 jde o sčítání dvou zbylých paramterů, pro x = 1 o násobení, pro x = 2 o mocnění atd. Vždy se iteruje předchozí operace.
 
== Tabulka hodnot ==