automata_classes (279B)
1 # Automata classes 2 3 - [counter_free_automata] 4 - [automaton_homogeneous] 5 - [automata_local] 6 - [wheeler_nfa] 7 - [automaton_p_sortable] 8 - [automata_unary] for [alphabet_unary] 9 - [automata_acyclic] 10 - [automata_weakly_acyclic] 11 - [automata_self_verifying] 12 13 - [DFAs] 14 15 Up: [automata]