? La machine de Turing a été décrite pour la première en 1937 par Alan Mathison Turing, un mathématicien et pionnier de l'informatique en anglais. Une machine de Turing n'est pas une machine au sens traditionnel , ce n'est pas un appareil mécanique qui est destiné à être réellement conçu . Au lieu de cela , c'est une machine conceptuelle ou mathématique . Alan Turing
Alan Mathison Turing est né à Paddington , à Londres, en 1912. Il a étudié les mathématiques à l'Université de Cambridge , où il a ensuite enseigné , avant de déménager à l'Université de Princeton en 1936. Il retourne en Angleterre en 1938 et pendant la Seconde Guerre mondiale a travaillé pour le Code de gouvernement et l'École de Cypher à Bletchley Park en Grande-Bretagne , où il a dirigé l'équipe chargée de décryptage du code allemand Enigma . Il a travaillé pour le National Physical Laboratory et l'Université de Manchester après la guerre et a été élu membre de la Royal Society en 1951. Suite à une condamnation pour homosexualité en 1952 , Turing s'est suicidé en 1954 à 41.
Résumé ordinateur
Une machine de Turing est, en fait , un ordinateur abstrait simple. Il peut être visualisé comme ayant une bande de longueur infinie , une D - divisée en cellules , dont chacune contient un 0 ou un 1 . Il a également une tête de lecture -écriture qui peut se déplacer d'avant en arrière le long de la bande pour ouvrir le contenu de chaque cellule . La bande peut être considéré comme la mémoire de la machine de Turing - mais , bien sûr , infini - et la tête de lecture -écriture comme le bus mémoire
Philosophie < br . > Photos
Alan Turing décrit la machine de Turing dans un effort pour répondre à une des questions fondamentales de la philosophie des sciences informatiques , à savoir ce que cela signifie pour une tâche d'être calculable . Intuitivement, une tâche est calculable si elle peut être décomposé en un ensemble d'instructions - autrement connu comme un «algorithme» - qui peuvent être effectuées par une machine quelconque pour compléter la tâche. Toutefois, les machines peuvent être capables d'effectuer différentes instructions et l'achèvement des tâches différentes , donc il ya un nombre infini de machines de Turing .
Universal Turing Machine
Cependant, Turing a imaginé chaque algorithme , pour chaque tâche particulière, écrite comme un ensemble d'instructions sous une forme standard. Si le formulaire standard pour chaque tâche est fourni à une seule machine de Turing , la machine peut être fait pour interpréter les instructions et les exécuter de la même manière que les machines de Turing particuliers et qui est capable de remplir toutes les tâches possibles . C'est ce qui est connu comme une «machine de Turing universelle . "