Quel type de machine est une machine de Turing ?

La machine de Turing est une machine abstraite et un modèle informatique abstrait. La machine de Turing a prouvé la théorie informatique universelle et a affirmé la possibilité d'une mise en œuvre informatique. En même temps, elle a donné l'architecture principale qu'un ordinateur devrait avoir. Cependant, la « machine de Turing » n'est qu'un « ordinateur » imaginaire et n'en tient pas compte. l'état du matériel est au centre de la considération.

L'environnement d'exploitation de ce tutoriel : système Windows 7, ordinateur Dell G3.

Une machine de Turing est une machine abstraite et un modèle informatique abstrait. Il comporte un ruban de papier infiniment long, divisé en petits carrés, chaque carré a une couleur différente. Il y a une tête de machine qui se déplace sur la bande de papier. La tête de la machine possède un ensemble d'états internes, ainsi que des procédures fixes. À chaque instant, la tête de la machine doit lire un carré d'informations sur la bande de papier actuelle, puis rechercher dans la table du programme en fonction de son propre état interne, sortir les informations sur le carré de bande de papier en fonction du programme et convertir son propre état interne. , puis Faites un geste.

En 1936, le mathématicien britannique Alan Matheson Turing (1912-1954) a proposé un modèle informatique abstrait - Machine de Turing (Machine de Turing)). La machine de Turing, également connue sous le nom d'ordinateur de Turing, résume le processus par lequel les personnes utilisent du papier et un stylo pour effectuer des opérations mathématiques et remplace les humains par une machine virtuelle pour effectuer des opérations mathématiques.

La machine de Turing universelle montre aux gens un tel processus : le programme et ses entrées peuvent d'abord être enregistrés sur la bande de stockage, et la machine de Turing exécute le programme étape par étape jusqu'à ce que le résultat soit donné, et le résultat est également enregistré sur la bande de stockage. Plus important encore, les principaux composants des ordinateurs modernes sont vaguement visibles, en particulier les principaux composants de la théorie de von Neumann.

La machine de Turing a prouvé la théorie informatique universelle et a affirmé la possibilité d'une mise en œuvre informatique. En même temps, elle a donné l'architecture principale qu'un ordinateur devrait avoir. Cependant, la "machine de Turing" n'est qu'un "imaginaire". ordinateur" et ne considère pas du tout le matériel. Dans l'État, le centre de considération est la structure logique, alors que l'ordinateur a déjà des entités.

La signification de la machine de Turing

Turing a proposé le modèle de la machine de Turing pour ne pas donner en même temps la conception de l'ordinateur. Sa signification est la suivante :

(1) Il prouve la théorie de l'informatique universelle et affirme la possibilité d'une mise en œuvre informatique. En même temps, il donne l'architecture principale qu'un ordinateur devrait avoir

(2) La machine de Turing ; Le modèle introduit la lecture et l'écriture et Les concepts d'algorithmes et de langages de programmation ont considérablement percé les concepts de conception des machines informatiques dans le passé

(3) La théorie du modèle de machine de Turing est la théorie de base de l'informatique ; discipline, car la puissance de calcul ultime d'un ordinateur est le graphe universel. En raison de la puissance de calcul d'une machine de Turing, de nombreux problèmes peuvent être pris en compte en la transformant en un modèle simple appelé machine de Turing.

La machine de Turing universelle montre aux gens un tel processus : le programme et ses entrées peuvent d'abord être enregistrés sur la bande de stockage, et la machine de Turing exécute le programme étape par étape jusqu'à ce que le résultat soit donné, et le résultat est également enregistré sur la bande de stockage. Plus important encore, les principaux composants des ordinateurs modernes sont vaguement visibles, en particulier les principaux composants de la théorie de von Neumann.

Tutoriels vidéo gratuits recommandés : "Vidéo de programmation"

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!