fonction récursive primitive
Sign in to saveAlso known as primitive recursion
fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition
Article · Français
En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives.
Abstract from DBpedia / Wikipedia · CC BY-SA