Locally Strongly Transitive Automata in the Černý Conjecture and Related Problems
Arturo Carpi, Flavio D’Alessandro · IRIS Research product catalog (Sapienza University of Rome) · 2019
This paper mainly concerns the property of strong local transitivity of finite automata. We will survey some results on this property in the context of the synchronization problem. Further aspects and results relating this problem with the Road coloring problem of finite directed graphs and the Restivo conjecture on the minimal length of an incompletable word of a finite language, are also analyzed.