Skip to main content

Qu'est-ce qu'une machine Turing?

Une machine Turing est une construction philosophique sur le fonctionnement d'un ordinateur, inventée en 1936 par Alan Turing, un célèbre mathématicien et logicien anglais du 20 du siècle.Les idées derrière la machine Turing sont la base de tous les logiciels et systèmes matériels informatiques modernes qui existent à partir de 2011, bien que les concepts réels créés aient été utilisés pour construire un appareil réel à l'époque, et ont été inventés avant l'existence d'ordinateurs numériques dans aucunforme réelle.Les principes sur lesquels une machine Turing fonctionne comprend un ensemble de contrôles pour les données d'entrée et de sortie, la machine pour traiter les données sous une forme ou un ensemble de règles établies sur la façon dont ces données sont traitées par la machine.

Le génie derrièreLa découverte d'Alan Aurings était que tout groupe cohérent de symboles représentant des informations significatives, telles que des symboles mathématiques ou des lettres comprenant une langue, pourrait être traité mécaniquement par une machine si l'on donne un ensemble approprié de règles pour leur traitement.Cela entraînerait la création de dispositifs mécaniques qui pourraient être posés des questions logiques pour des problèmes complexes et trouver rapidement des réponses impartiales.La machine Turing était un précurseur à cet égard à un algorithme informatique, qui est une liste compilée d'instructions informatiques que les unités de traitement centrales (CPU) dans les ordinateurs s'appuient pour fonctionner en 2011.

La conception de la machine Turing était simpliste parLes normes informatiques modernes du 21

ST Century, et sa fonction physique étaient impraticables quant à sa mise en œuvre, mais les idées sur lesquelles il a été construite avait une base solide.La machine se composait d'un ruban ou d'un ruban avec des symboles imprimés dessus, qui pouvaient être lus par une tête lorsque le ruban a été transmis dessus.Au fur et à mesure que les symboles étaient lus, ils invoqueraient certains états de la machine, ce qui dirigerait le mouvement de la bande et affecterait les valeurs de sortie produites par la machine.L'analogue des systèmes informatiques modernes de 2011 serait que la bande représente le code ou les algorithmes du logiciel informatique, le lecteur est le CPU, et la sortie serait des systèmes d'affichage et de transmission tels que les moniteurs, les haut-parleurs et les imprimantes, le trafic réseau, et plus encore.

Les idées derrière la machine Turing ont été considérées comme une fonction fondamentale de l'exécution de n'importe quelle série de calculs et pouvaient également être comparées au fonctionnement du cerveau humain.Turing lui-même et d'autres de son époque pensaient que la machine Turing pouvait être adaptée pour effectuer pratiquement tout type de calcul imaginable et agir comme une machine universelle pour résoudre tous les problèmes humains.Le problème qui s'est rapidement posé avec le concept, cependant, est connu sous le nom de Tarpit Turing, et se réfère au fait que, bien que tout ensemble de symboles auto-cohérentes puisse être traité par une machine Turing, obtenant une telle machine à produire des réponses significatives àLes questions reposent entièrement sur des ensembles de règles de traitement de plus en plus complexes et multicouches.

L'informatique a rapidement rencontré des problèmes avec la façon dont les logiciels et les systèmes matériels basés sur les principes de la machine Turing pourraient s'enliser dans les calculs dénués de sens appelés boucles de programme.Les limitations logiques ont conduit à des adaptations sur les principes de la machine de Turing, tels que celui des machines de Turing quantiques et probabilistes.Une machine de Turing probabiliste utilise l'idée que plusieurs bandes sont exécutées simultanément dans la machine pour produire des résultats différents en parallèle, qui sont ensuite pondérés les uns contre les autres en fonction de la probabilité dont le résultat est très probablement précis.De telles machines atteindraient des conclusions d'une manière similaire à la façon dont le logiciel logique floue fonctionne dans des systèmes de contrôle avancé à partir de 2011.

Un ordinateur quantique basé sur le principe de la machine Turing aurait une bande de longueur infinie avec des cellules de symboles dans un état perpétuel indéterminéjusqu'à lire.Cela fournirait une forme de traitement parallèle qui serait largement supérieur aux processus de donnéesLes procédures de chant utilisées dans les ordinateurs à partir de 2011. Les machines quantiques Turing offrent la possibilité de stocker plusieurs valeurs dans des cellules de mémoire individuelles jusqu'à accéder, ce que les ordinateurs standard basés sur la logique ne peuvent pas faire.