No hace falta, ya lo he conseguido. Tengo un algoritmo poco eficiente porque me he dedicado a tratarlo como lo haría yo sobre el papel, sacando las clases de equivalencia y basándome en el teorema de Nerode. Una barbaridad, pero funciona.
Bueno, gracias de todos modos. Ya tengo un generador de autómatas aleatorios:P:P
Saludos.
