wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

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]