Principios de programación del modelo de máquina de Turing multifrecuencia

Esta especificación es un programa para una máquina de Turing, que se puede proporcionar en forma de lista. Al principio, la máquina está en un estado específico q0∈Q. Los datos originales son una cadena de símbolos de longitud n colocada en una cinta de entrada con el líder de la cinta apuntando al símbolo más a la izquierda de la cadena y dejando el resto de la cinta en blanco. Luego, la máquina sigue estrictamente las reglas (programas) paso a paso hasta detenerse sin definición. El contenido de la cinta de salida se considera el resultado del cálculo. Para una entrada de longitud n, el número total de pasos desde el inicio hasta la parada de la máquina se denomina tiempo de serie; el número de cuadrados de la cinta utilizados se denomina espacio y el número total de cambios de dirección del cabezal de la cinta desde el inicio hasta la parada de la máquina; se llama recorrido. Todas ellas son funciones de n.