Esto es, formula_9 puede entenderse como el conjunto de todas las cadenas de longitud formula_5, formado a partir de los símbolos en formula_4.