wiki_research

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

sharp_dfa (277B)

      1 # Sharp DFA
      2 
      3 counting the number of words accepted by [automata_deterministic]
      4 
      5 in [ptime], because [sharp_ufa] is in [ptime]
      6 
      7 also works with [word_automaton_unambiguous]
      8 
      9 See also: [sharp_nfa], [sharp_ufa], [density_function]
     10 
     11 Up: [sharp_automaton], [automata_deterministic]