La construcción teórica es interesante por al menos dos razones:
- Nos permite hacer e investigar preguntas sobre cómo tener múltiples recuerdos influye en la complejidad computacional y el poder computacional. ¿Tener más de una memoria (ilimitada) cambia el poder expresivo? ¿Cambia la complejidad de ciertos problemas computacionales para que los problemas [matemáticos] O (n ^ 2) [/ matemáticos] puedan resolverse en el tiempo [matemático] O (n) [/ matemático] si no tenemos una sino dos cintas?
- Nos permite definir clases de menor complejidad, como LOGSPACE, donde desea que la complejidad del espacio refleje cuánto espacio adicional en la cinta se requiere al lado del espacio ocupado por la entrada. Para este propósito, generalmente consideramos una máquina Turing con dos cintas: una cinta de solo lectura que contiene la entrada y otra cinta de lectura / escritura. Aquí, la cantidad de espacio utilizado en la segunda cinta se toma como los requisitos de espacio de la máquina Turing.
