Completely reachable automata: an interplay between automata, graphs, and trees
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2022
- DOI:
- arXiv:
- arXiv:2201.05075
- Bibcode:
- 2022arXiv220105075B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 68Q45
- E-Print:
- 29 pages, 16 figures