Fonction de Takeuchi

Cet article est une ébauche concernant les mathématiques et l’informatique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La fonction de Takeuchi, abrégée tak ou parfois tarai, est une fonction récursive qui doit son nom a Ikuo Takeuchi (竹内郁雄). Elle est souvent utilisée pour tester les performances d'un langage de programmation.

Définition

def tak( x, y, z)
  if y < x
    tak(
         tak(x-1, y, z),
         tak(y-1, z, x),
         tak(z-1, x, y)
       )
  else
    y
  end
end