^{PDFprof.com Search Engine}

Calculabilité

Qu'est-ce que la calculabilité d'un programme ?
Cela définit ainsi un modèle de calcul : on dira qu'une fonction est calculable si elle peut être programmée dans l'un ou l'autre des langages de programmation usuels.
Dans ce document, nous utiliserons le langage Python comme témoin : une fonction est calculable si on peut la programmer en Python.
À l'origine, la machine de Turing est un concept mathématique.
Cela signifie que son but est purement théorique.
Elle permet de calculer tout calcul qui pourrait être exécuté par un système physique, donc elle simplifie le principe du calcul à son état le plus essentiel.

Une fonction f est dite calculable si on peut la caractériser comme une succession finie de manipulations de symboles qui à n'importe quelle valeur x associe f(x). Autrement dit, une fonction f est calculable s'il existe un algorithme qui permet de déterminer f(x) pour toutes valeurs de x.

Logique et calculabilité
Éléments de Théorie de la Calculabilité

Calculabilité

Qu'est-ce que la calculabilité d'un programme ?