Definimos una máquina de Turing sobre el alfabeto formula_28, donde 0 representa el símbolo blanco.