def afd_minimo(archivo_regex, archivo_automata): regex = Regex.crear_desde_archivo(archivo_regex) automata = regex.automata() automata.determinizar() automata.minimizar() automata.escribir_archivo(archivo_automata)