Uma máquina de Turing é um modelo teórico da computação, proposto por Alan Turing em 1936. Consiste em diversos componentes que permitem que execute computações. As peças principais de uma máquina de Turing são:
Fita: A fita é uma sequência infinita das pilhas, cada capaz de guardar um símbolo de um alfabeto finito. Estende infinitamente em ambos os sentidos. A fita serve como o armazenamento preliminar para dados durante a computação.
Cabeça: A cabeça é um mecanismo de leitura/gravação que faça a varredura dos símbolos na fita. Pode ler o símbolo no cargo atual, para escrever um símbolo novo, e move a esquerda ou o direito ao longo da fita.
Controlo estatal finito: Este componente atua como o cérebro da máquina de Turing. Determina o comportamento de máquina baseado no estado atual e no símbolo que estão sendo feitos a varredura pela cabeça. O controlo estatal finito é responsável para transitioning entre estados e atualizar a fita.
Registro de estado: O registro de estado guarda o estado atual da máquina de Turing. O comportamento da máquina depende do estado atual e do símbolo que estão sendo feitos a varredura.
Alfabeto: O alfabeto é um grupo finito de símbolos que a máquina de Turing pode ler e escrever na fita. Inclui tipicamente os símbolos da entrada e os símbolos especiais usados para finalidades do controle.
