Es decir, es la recopilación de todas los posibles cadenas de longitud finita generados a partir de los símbolos en formula_4.