Si definimos el conjunto formula_4 de palabras de entrada, siendo formula_5.