Wikipédia en français - L'encyclopé...
Download this dictionary
Fonction calculable
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 ».
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.