Sur la machine de Turing.

J'ai trouvé quelque matière à réflexion dans la ci-nommée "machine de Turing" (ça se trouve partout, sur Wikipédia, sur Google, etc.c'est très connu) à commencer par admirer l'immense talent de son inventeur.

J'ai tenté de voir si l'on ne pouvait pas simplifier la définition d'une telle machine que l'on présente formellement comme le quintuplet :

{Ei, X, Y, Z, Ej}, où

• Ei est l'état actuel du programme;
• X, le symbole lu sur un support de travail, à proprement parler : un "registre";
• Y, le symbole qui remplacera celui qu'on vient de lire;
• Z, le sens de lecture du support de travail;
• Ej, le prochain état choisi pour le programme;

avec un état privilégié de départ et un autre qui provoque l'arrêt de la machine.