Hola de nuevo,
ya lo tengo implementado, pero lo he hecho tal y como lo haría sobre el papel buscando las clases de equivalencia y con el teorema de Nerode. Funciona. Pero sé que no es el mejor algoritmo el que he hecho. Si alguien supiese algún algoritmo eficiente, pues que lo escriba o me mande un enlace o lo que sea, aunque ya no corre prisa.
Gracias,
saludos.