Fonction Μ-récursive
concept
fonction dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini
Propriétés
- p279_labels
- fonction calculable
concept
fonction dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini