Fonction calculable

Un article de Wikipédia, l'encyclopédie libre.
Cet article est une ébauche concernant l’informatique et les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

Une fonction calculable (ou fonction récursive) est une fonction semi-calculable (ou fonction partielle récursive) qui est aussi totale, c'est-à-dire définie pour toute entrée (en tout point). Ce sont les fonctions calculées par une machine de Turing «qui termine».

[modifier] Voir aussi