A continuación, "Diagonal" pasará este resultado a través de "Termina" para decidir si la máquina representada por formula_2 para ante la cadena formula_2 y realiza lo opuesto: Si "Termina" acepta, entonces "Diagonal" entra en un bucle infinito (que consiste de un solo estado al que se regresa una y otra vez) y en otro caso, si "Termina" rechaza entonces "Diagonal" termina en estado de aceptación.