wiki_research

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

automata_constructions (401B)


      1 # Automata constructions
      2 
      3 - [chrobak_normal_form]
      4 - [powerset_automata] for [automata_determinization]
      5 - [minimization_automaton]
      6 - [automata_reversal]
      7   - does not preserve [automaton_determinism]
      8 - [automata_complementation]
      9 - [product_automaton], for [automaton_intersection]
     10 - [automaton_trimming] / [automaton_completion]
     11 
     12 Up: [automata]
     13 
     14 Aliases: automaton construction, automaton constructions