La machine de Turing universelle

Une machine de Turing...

La machine de Turing est un modèle abstrait d'ordinateur inventé en 1936 par Alan Turing.

Exemple de fonctionnement d'une Machine de Turing

Un modèle toujours actuel

C'est toujours ainsi que fonctionnent nos ordinateurs :

  • C'est basique

  • C'est abstrait, il n'y a rien de signifiant dans un ordinateur

  • C'est très général, tout ce qu'on peut représenter avec des symboles peut être manipulé avec un ordinateur :

    • des photos : matrices de valeurs représentant des couleurs

    • des son : échantillonnage de points représentant le signal sonore (c'est à dire les mouvements d'une membrane)

    • de l'amitié : un seul bit sur Facebook !

      (on peut tout numériser...)

Une machine de Turing universelle

Une machine de Turing universelle est une machine de Turing qui représente une machine de Turing : on peut donc tout faire avec une telle machine, il suffit de changer le programme.