Na máquina de Turing, o processamento inclui a sucessiva aplicação da função programada até ocorrer uma condição de parada.

A máquina em questão registra o valor da palavra de entrada e depois pára, quando a função indicar um movimento da cabeça para a esquerda e ela já se encontrar no início da fita.

O conjunto de símbolos usados pela máquina de Turing é infinito.

As saídas podem ser apenas binárias, pois as referidas máquinas trabalham com representações lógicas.

Uma máquina de Turing pode alterar várias entradas em cada vez, pois ela é capaz de transferir sua atenção para mais de uma posição da fita em cada argumento da função de transição.