Qu'est-ce que Turing Exhativité?

Turing Exhaustics est lorsqu'un langage de programmation est capable de remplir les fonctions d'une machine Turing.Il s'agit d'un concept pour un ordinateur mécanique très basique, parfois décrit comme la machine la plus simple qui peut être considérée comme un ordinateur.Pratiquement tous les langages de programmation utilisés aujourd'hui, et en théorie, les ordinateurs qui les gèrent ont une complétude Turing.

Le concept de complétude de Turing vient d'Alan Turing, un informaticien britannique dont le travail comprenait le déchiffrement des messages codés pendant la Seconde Guerre mondiale.Parmi ses travaux sur l'informatique, il y avait le développement d'une philosophie de ce qu'un ordinateur pourrait réellement faire.Cela comprenait le concept que les ordinateurs fonctionnent simplement en exécutant des algorithmes.C'est-à-dire qu'ils suivent un ensemble fixe de règles pour traiter les données et résoudre à leur tour les problèmes.Cela signifie qu'un ordinateur ne pense pas ou ne prend pas de décisions comme une personne peut.

pour illustrer le concept, Turing a décrit une machine hypothétique qu'il a appelé une machine A, avec la position pour automatique;D'autres l'ont appelé plus tard la machine Turing.La machine traiterait une bobine de bande qui pourrait se retirer ou vers l'avant et contenait une ligne de symboles.À tout moment, la machine pourrait traiter un symbole et, si nécessaire, le modifier.Aux fins du concept, la bobine de bande pouvait être infiniment longue, ce qui signifie que la mémoire de l'ordinateur n'était pas intrinsèquement limitée.Il s'agit d'une analogie pour l'idée qu'une fois qu'un ordinateur a un ensemble d'instructions à suivre, la quantité de données auxquelles il peut appliquer ces instructions est soumise uniquement aux limites physiques.

Ironiquement, la plupart des ordinateurs aujourd'hui n'ont pas vraiment de complétude Turing.En effet, ils ont des limites sur l'espace de stockage disponible et donc les données qu'ils peuvent traiter.Ils ont également des limites physiques, notamment qu'ils finiront par s'use.C'est en fait le langage de programmation qui a une exhaustivité Turing.Pour cette raison, un ordinateur exécutant un tel programme n'est pas un ordinateur Turing, mais peut être utilisé pour simuler un. Turing L'exhaustivité ne doit pas être confondue avec le test Turing.Il s'agissait d'une expérience conçue par Turing pour voir si les ordinateurs peuvent converser en langage naturel.Le principe du test est que si un humain ne peut pas faire la différence entre une conversation en texte avec l'ordinateur et un autre humain, l'ordinateur passe le test.Alors que certains ordinateurs ont réussi le test lorsque la gamme de sujets de conversation est restreinte, aucun ne l'a fait dans une conversation sans restriction.