wiki_research

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

automata_problems (520B)

      1 # Automata problems
      2 
      3 On one [automaton]:
      4 
      5 - [automaton_emptiness]
      6 - [universality_automata]
      7 - [automaton_finiteness]
      8 - [automaton_cofiniteness]
      9 - [synchronizing_word_problem]
     10 - [counter_freeness_testing]
     11 
     12 On two [automata]:
     13 
     14 - [automaton_inclusion]
     15 - [automaton_equivalence]
     16 - [automaton_acceptance]
     17 
     18 On an [automaton] and a [word]:
     19 
     20 - [automata_evaluation]
     21 
     22 Computation problems:
     23 
     24 - [minimization_automaton]
     25 
     26 Computing an [automaton] given [words]:
     27 
     28 - [separating_automaton]
     29 - [automaton_from_examples]
     30 
     31 Up: [automata]