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.