Ahora crearemos una máquina "Diagonal" que recibe de entrada una cadena formula_2, que alegadamente será la codificación de una máquina de Turing formula_1.