brzozowskis_algorithm (384B)
1 # Brzozowski's algorithm 2 3 https://fr.wikipedia.org/wiki/Algorithme_de_Brzozowski_de_minimisation_d%27un_automate_fini 4 5 [Algorithm] for [automaton_minimization]. 6 7 Take [automaton_mirror] then [determinize] then take [automaton_mirror] then [determinize] 8 9 - [complexity_generic] studied in [defeclice2013brzozowski]: 10 - [super_polynomial] on [automata_random] 11 12 Up: [minimization_DFAs]