La máquina de Turing es un dispositivo que manipula símbolos sobre una cinta de acuerdo a una tabla de reglas, y a pesar de su simplicidad puede simular cualquier algoritmo de computador. Se define formalmente como un modelo computacional que lee y escribe de forma automática sobre una entrada llamada cinta, generando una salida de esta. Está conformado por alfabetos de entrada y salida, un símbolo blanco, estados finitos y transiciones entre estados. Fue propuesta por Alan Turing como modelo de computación.

1. Máquina de Turing
MAQUINAS DE TOURING
Es un dispositivo que manipula símbolos sobre una tira
de cintas de acuerdo a una tabla de reglas. A pesar de
su simplicidad, una maquina de Touring puede ser
adaptada para simular la lógica de cualquier algoritmo
de computador y es particularmente útil en la
explicación de las funciones de una CPU dentro de un
computador.
DEFINICIÓN FORMAL MT
Modelo computacional que hace una lectura y escritura
de manera automatica sobre una entrada llamada cinta ,
generando una salida de esta misma. Este modelo esta
conformado por un alfabeto de entrada y uno de salida,

2. un símbolo especial llamado blanco , un conjunto de
estados finitos y un conjunto de transiciones entre
dichos estados.
ALAN TURING