Fonction calculable
Un article de Wikipédia, l'encyclopédie libre.
|
|
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».
|
|