automata_problems (544B)
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 - [automaton_primality] 12 13 On two [automata]: 14 15 - [automaton_inclusion] 16 - [automaton_equivalence] 17 - [automaton_acceptance] 18 19 On an [automaton] and a [word]: 20 21 - [automata_evaluation] 22 23 Computation problems: 24 25 - [minimization_automaton] 26 27 Computing an [automaton] given [words]: 28 29 - [separating_automaton] 30 - [automaton_from_examples] 31 32 Up: [automata]