Synonymes de fonction calculable
- nom
Les plus courants
fonction récursive fonction générale récursive fonction récursive totale
Définitions
- n. 1
Fonction dont la valeur, pour chaque argument de son domaine de définition, peut être obtenue au moyen d’un algorithme, c’est-à-dire d’une procédure mécanique effective et finie, par exemple une machine de Turing qui s’arrête sur toute entrée.
Une réduction de A vers B est une fonction calculable f:D→D' qquad x∈X⟺f(x)∈Y
Autour du mot
- Est une sorte de
- fonction