formula_12 es la subcadena que puede ser bombeada (borrada o repetida un número formula_13 de veces como se indica en (3), y la cadena resultante seguirá perteneciendo a formula_1).