Los generadores formula_29,formula_30 y formula_31 no dejan el vacío invariante.