Es una secuencia de la forma formula_15 donde formula_16 y formula_17 que escribe el estado de una máquina de Turing.