La máquina formula_10 terminará en un estado de aceptación si formula_1 para ante la entrada formula_2, y en otro caso terminará en un estado de rechazo, pero nunca entrará en un ciclo infinito.