automata_unary (300B)
1 # Automata unary 2 3 #TODO universality complexity? 4 5 [Automata] on [alphabet_unary] 6 7 - for [DFAs]: [ultimately_periodic] 8 - for [UFAs]: [automata_unary_ufa] 9 - for [NFAs]: 10 - [chrobak_normal_form] 11 - [nfa_unary_lengths] 12 13 Up: [automata_classes] 14 15 See also: [tortoise_and_hare_algorithm], [language_unary]