Turing explicitou um dispositivo lógico que ele chamou de "automatic machine" (ou “a-machine”), capaz de ler, escrever e apagar símbolos binários em uma fita de comprimento ilimitado e dividida por quadrados de igual tamanho.