automata_local (312B)
1 # Local automata 2 3 [Automaton] where for each [letter] all [transitions] with this [letter] lead to the same [state] 4 5 The [local_languages] are the [formal_languages] that can be recognized by such automata 6 7 Up: [automata_classes] 8 9 See also: [automaton_homogeneous], [glushkov_automaton] 10 11 Aliases: local automata