automata_types (708B)
1 # Automata types 2 3 - [automata_deterministic] 4 - [determinism] 5 - [automata_nondeterministic] 6 - [automaton_epsilon_transitions] 7 - [automata_unambiguous] 8 - [automata_bideterministic] 9 - [tree_automaton] 10 - [word_automaton] 11 - [word_automaton_self_verifying] 12 - [word_automaton_unambiguous] 13 - [unambiguity] 14 - [transducer] 15 - [automata_alternating] 16 - [automata_generalized] 17 - [automata_trimmed] 18 - [complete_automaton] 19 - [incomplete_automaton] 20 21 ## Extensions 22 23 - [stack_automata] 24 - [pushdown_automaton] 25 - [queue_automata] 26 - [counter_automata]: deterministic one-counter automaton 27 - [register_automata] 28 - [automatic_relation] 29 - [vector_addition_system] 30 - [automata_weighted] 31 - [omega_automata] 32 33 Up: [automata]