Comprobar que el intercambio es real, y no posible dentro de la varianza especificada.
Parece que al generar los bloques de problemas, el número de símbolos y el número de estados están intercambiados. Tengo seleccionados 3 símbolos y 5 estados, pero las expresiones regulares que se generan se corresponden a AF con 5 símbolos y 3 estados. aunque luego si dentro del problema del panel derecho se da a generar, sí que se generan problemas cuyo AF se corresponden con los parámetros de símbolos y estados especificados.
Comprobar que el intercambio es real, y no posible dentro de la varianza especificada.