Completely Reachable Automata
Formal Languages and Automata Theory
2016-07-05 v1
Abstract
We present a few results and several open problems concerning complete deterministic finite automata in which every non-empty subset of the state set occurs as the image of the whole state set under the action of a suitable input word.
Keywords
Cite
@article{arxiv.1607.00554,
title = {Completely Reachable Automata},
author = {Evgenija Bondar and Mikhail Volkov},
journal= {arXiv preprint arXiv:1607.00554},
year = {2016}
}
Comments
23 pages, 12 figures. This is an expanded version of the conference paper published in C. Campeanu et al. (eds.), Descriptional Complexity of Formal Systems. DCFS 2016 [Lect. Notes Comp. Sci. 9777], Springer-Verlag, Berlin-Heidelberg-N.Y., 2016, 1-17