TURING (MACHINE DE —)

TURING (MACHINE DE —) Automate idéal constitué par une unité centrale pouvant prendre un certain nombre états internes ; un ruban de longueur indéfinie divisé en cases sur lequel sont inscrites au départ les données à traiter, et viennent s’inscrire en cours de fonctionnement les calculs intermédiaires ; une tête de lecture-écriture qui n’opère que sur une seule case à la fois, et qui peut remplacer le symbole lu par un nouveau symbole et déplacer le ruban à droite ou à gauche. Ce concept — qui est à l’origine d’une branche importante des math. : la théorie des automates — permet de décrire des opérations intellectuelles, de définir formellement la syntaxe d’un langage, de formaliser la notion de calculabilité, etc.