Tak (Funktion)

Die Tak-Funktion, benannt nach Ikuo Takeuchi (竹内郁雄), ist eine rekursive Funktion, die folgendermaßen definiert ist:

$t(x,y,z):=\begin{cases}y & \text{falls }x\le y \\t\big( t(x-1,y,z), t(y-1,z,x), t(z-1,z,y)\big) &\text{andernfalls}\end{cases}$

Anders ausgedrückt:

$t(x,y,z)=\begin{cases} y & \text{falls }x\le y \\ \begin{cases} z & \text{falls } y\le z \\ x & \text{andernfalls} \end{cases} & \text{andernfalls} \end{cases}$

Sie wird oft als Benchmark für Programmiersprachen verwendet, die auf Rekursion optimiert sind.

Weblinks

• Eric W. Weisstein: TAK Function. In: MathWorld. (englisch)