=== Formalized description ===Input.<br>Alphabet formula_1, which is the symbol alphabet of size formula_2.
=== Descripción formal ===;EntradasEl alfabeto formula_1, que es el alfabeto de símbolos de tamaño formula_2.