Una máquina de Turing es un modelo teórico del cómputo, propuesto por Alan Turing en 1936. Consiste en varios componentes que permitan que realice cómputos. Las piezas principales de una máquina de Turing son:
Cinta: La cinta es una secuencia infinita de células, cada capaz de llevar a cabo un símbolo de un alfabeto finito. Extiende infinitamente en ambas direcciones. La cinta sirve como el almacenamiento primario para los datos durante el cómputo.
Cabeza: La cabeza es un mecanismo de lectura/grabación que explora los símbolos en la cinta. Puede leer el símbolo en el cargo actual, escribir un nuevo símbolo, y mueve izquierda o la derecha a lo largo de la cinta.
Control estatal finito: Este componente actúa como el cerebro de la máquina de Turing. Determina el comportamiento de máquina basado en el estado actual y el símbolo que son explorados por la cabeza. El control estatal finito es responsable de transitioning entre los estados y de poner al día la cinta.
Registro de estado: El registro de estado lleva a cabo el estado actual de la máquina de Turing. El comportamiento de la máquina depende del estado actual y del símbolo que son explorados.
Alfabeto: El alfabeto es un sistema finito de los símbolos que la máquina de Turing puede leer y escribir en la cinta. Incluye típicamente los símbolos de la entrada y los símbolos especiales usados para los propósitos del control.