 | Alan Turing es néé en 1912 et mort en 1954. Une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur et sa mémoire. Cette machine a été imaginé par Alan Turing en 1936, pour donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité. Le concept de machine de Turing a été inventé avant l'ordinateur, c’était censé représenter une personne virtuelle exécutant une procédure bien définie, en changeant le contenu des cases d'un tableau infini, en choisissant ce contenu parmi un ensemble fini de symboles. . La machine de Turing est une abstraction modélisant un « être calculant » pour démontrer une proposition de logique pure, et n'a rien à voir avec un projet de machine, c’est donc une modélisation. La machine de turing permet donc une grande avancée dans l’informatique et permettra par la suite de concevoir les premiers ordinateurs. |