El alfabeto formula_1, que es el alfabeto de símbolos de tamaño formula_2.