Fonction partielle récursive
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche à compléter concernant l'informatique, vous pouvez partager vos connaissances en le modifiant. |
Les fonctions partielles récursives correspondent aux fonctions calculées par une machine de Turing. Selon la thèse de Church-Turing la classe des fonctions partielles récursives est exactement l'ensemble des fonctions pouvant être décrites par un algorithme (ou tout mécanisme de calcul).
D'un point de vue plus formel, elles correspondent aux relations fonctionnelles 
(Hiérarchie arithmétique).
 |
Portail de l'informatique – Accédez aux articles de Wikipédia concernant l’informatique. |
