Una máquina de Turing se define como una 7-tupla con un conjunto finito de estados Q, un alfabeto de máquina Σ, un alfabeto de cinta T, un estado inicial S en Q, un símbolo en blanco B en T, un conjunto de estados finales F, y una función de transición δ que especifica los movimientos y cambios de estado basados en el símbolo leído.

1. ELEMENTOS DE UNA MÁQUINA DE TURING
Una máquina de Turing con una sola cinta puede ser definida como
una 7-tupla donde:
 Q, es un conjunto finito de estados.
 ∑, es un conjunto finito de símbolos distinto del espacio en
blanco, denominado alfabeto de máquina.
 T, es un conjunto finito de símbolos de cinta, denominado
alfabeto de cinta.
 S Q, es el estado inicial.
 B T, es un símbolo denominado blanco y es el único símbolo
que se puede repetir un número infinito de veces.
 , es el conjunto de estados finales de aceptación.
 , es una función parcial
denominada función de transición, donde L es un movimiento
a la izquierda y es el movimiento a la derecha.
AUTOR:
TORREALBA VICTOR
C.I.: 19.355.605