Esta máquina recibiría como entrada la cadena formula_6, donde formula_1 es la codificación de una máquina de Turing y formula_2 es la codificación de la cadena que se le alimenta a formula_1.