Fonction Calculable

Une application des entrées encodées de façon finie (classiquement des mots finis ou des entiers naturels) vers des sorties telle qu'il existe une procédure finie exécutable mécaniquement qui, pour chaque entrée valide, s'arrête et fournit la sortie correcte.