fonction μ-récursive

concept fonction dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini