Minimizador de automata
Dado un automata finito deterministico sin simbolos inutiles ni inalcanzables devuelve su AFD asociado con mínimos estados
Prototipo
Puede contener bugs
Complejidad actual: O(m * n^2)
Próxima versión debería incluir las mejoras para alcanzar O(m n logn)