Une machine de Turing est un modèle théorique de calcul, proposé par Alan Turing en 1936. Elle se compose de plusieurs composants qui lui permettent d'exécuter des calculs. Les pièces principales d'une machine de Turing sont :
Bande : La bande est un ordre infini des cellules, chaque capable de tenir un symbole d'un alphabet fini. Elle se prolonge infiniment dans les deux directions. La bande sert de stockage primaire aux données pendant le calcul.
Tête : La tête est un mécanisme lecture/écriture qui balaye les symboles sur la bande. Elle peut lire le symbole à la situation actuelle, écrire un nouveau symbole, et déplace la gauche ou le droit le long de la bande.
Contrôle de l'État fini : Ce composant agit en tant que cerveau de la machine de Turing. Il détermine le comportement de machine basé sur l'état actuel et le symbole balayé par la tête. Le contrôle de l'État fini est responsable de transitioning entre les états et de mettre à jour la bande.
Registre national : Le registre national tient l'état actuel de la machine de Turing. Le comportement de la machine dépend de l'état actuel et du symbole étant balayés.
Alphabet : L'alphabet est un ensemble fini de symboles que la machine de Turing peut indiquer et écrire sur la bande. Il inclut typiquement des symboles d'entrée et des symboles spéciaux utilisés pour le contrôle.