2000 character limit reached
Completely reachable automata: an interplay between automata, graphs, and trees (2201.05075v1)
Published 13 Jan 2022 in cs.FL
Abstract: A deterministic finite automaton in which every non-empty set of states occurs as the image of the whole state set under the action of a suitable input word is called completely reachable. We characterize such automata in terms of graphs and trees.