Una máquina de Turing está diseñada para el grabado de una muestra concreta de símbolos o números, cuyo universo posible suele recibir el nombre de "alfabeto". Cuando funciona con código binario, su alfabeto total es de dos (0 o 1), pero puede ser tan amplio como se estime adecuado para la función a realizar.