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]