Quelltext der Seite Tak (Funktion)

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

: <math>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,x,y)\big) &\text{andernfalls}\end{cases}</math>

Anders ausgedrückt:

: <math>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}</math>

Sie wird oft als [[Benchmark]] für [[Programmiersprache]]n verwendet, die auf [[Rekursive Programmierung|Rekursion]] optimiert sind.

== Weblinks ==
* {{MathWorld|title=TAK Function|id=TAKFunction}}

[[Kategorie:Mathematische Funktion]]
[[Kategorie:EDV-Benchmark]]