word_automaton (585B)
1 # Word automata 2 3 - [word_automaton_unambiguous] 4 - [word_automaton_self_verifying] 5 - [automata_nondeterministic] 6 - [automata_bideterministic] 7 - [automata_reversible] 8 - [automata_probabilistic] 9 - [counter_automata] 10 - [automata_weighted] 11 12 conciseness bounds between [automata_two_way] 2NFA and 1NFA, [automata_alternating] alternating or not, etc? 13 14 [word_automata_taxonomy] 15 16 problems: 17 18 - [automaton_minimization] 19 - [language_inclusion] 20 - [language_equivalence] 21 - [universality_automata] 22 - [formal_language_separation] 23 24 Up: [automata] 25 26 See also: [word_problem] 27 28 Aliases: word automata