Retour à la fiche
Question d'oral
Qu'est-ce qu'une machine universelle ?
Réponse d'oral
Une machine universelle est une machine capable d’exécuter tout calcul réalisable par un algorithme, à condition de recevoir le programme correspondant. Autrement dit, elle n’est pas construite pour une seule tâche : ses instructions déterminent ce qu’elle fait. Un même ordinateur peut ainsi calculer un budget, afficher un film ou faire fonctionner un jeu. Cette universalité ne signifie pourtant pas qu’il peut tout résoudre. Elle désigne sa capacité à reproduire le fonctionnement de toute autre machine de calcul, avec assez de temps et de mémoire.En 1936, Alan Turing donne une forme précise à cette idée avec la machine de Turing. Ce n’est pas un ordinateur matériel, mais un modèle mathématique. Une tête de lecture parcourt un ruban théoriquement infini, lit et écrit des symboles, puis suit des règles. Turing montre qu’une machine particulière, dite universelle, peut simuler toutes les autres lorsqu’on lui fournit leur description et les données à traiter. Le changement de tâche passe donc par les instructions, et non par la construction d’une nouvelle machine.Cette idée prolonge le projet de machine analytique conçu par Charles Babbage à partir de 1834, une machine mécanique programmable restée inachevée. Elle éclaire aussi le principe du programme enregistré, présenté dans le rapport de von Neumann en 1945 : les instructions sont conservées en mémoire comme les données. Les ordinateurs actuels concrétisent cette souplesse, même si leur mémoire reste limitée. Mais si une même machine peut accomplir tant de tâches, comment choisir celles qu’il est souhaitable de lui confier ?