automata_problems (313B)
1 # Automata problems 2 3 - [synchronizing_word] 4 - [separating_automaton] 5 - [automaton_emptiness] 6 - [automaton_finiteness] 7 - [universality_automata] 8 - [minimization_automaton] 9 - [automaton_inclusion] 10 - [automaton_equivalence] 11 - [automaton_cofiniteness] 12 - [automata_evaluation] 13 - [automaton_acceptance] 14 15 Up: [automata]