wiki_research

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

brzozowskis_algorithm (296B)

      1 # Brzozowski's algorithm
      2 
      3 [Algorithm] for [automaton_minimization].
      4 
      5 Take [automaton_mirror] then [determinize] then take [automaton_mirror] then [determinize]
      6 
      7 - [complexity_generic] studied in [defeclice2013brzozowski]:
      8   - [super_polynomial] on [automata_random]
      9 
     10 Up: [minimization_automaton]