竹内関数
竹内関数の出力は以下のものと同等である。
T 0 ( x , y , z ) = { y if x ≤ y z if x > y and y ≤ z x otherwise. {\displaystyle {\rm {T0}}(x,y,z)={\begin{cases}y&{\mbox{ if }}x\leq y\\z&{\mbox{ if }}x>y{\mbox{ and }}y\leq z\\x&{\mbox{ otherwise. }}\\\end{cases}}}
ドナルド・クヌースによる研究が、Textbook Examples of Recursion(1990)にある。