wiki_research

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

automata_unary (300B)


      1 # Automata unary
      2 
      3 #TODO universality complexity?
      4 
      5 [Automata] on [alphabet_unary]
      6 
      7 - for [DFAs]: [ultimately_periodic]
      8 - for [UFAs]: [automata_unary_ufa]
      9 - for [NFAs]:
     10   - [chrobak_normal_form]
     11   - [nfa_unary_lengths]
     12 
     13 Up: [automata_classes]
     14 
     15 See also: [tortoise_and_hare_algorithm], [language_unary]