On incomplete and synchronizing finite sets [article]

Arturo Carpi, Flavio D'Alessandro
2016 arXiv   pre-print
This paper situates itself in the theory of variable length codes and of finite automata where the concepts of completeness and synchronization play a central role. In this theoretical setting, we investigate the problem of finding upper bounds to the minimal length of synchronizing words and incompletable words of a finite language X in terms of the length of the words of X. This problem is related to two well-known conjectures formulated by Cerny and Restivo, respectively. In particular, if
more » ... stivo's conjecture is true, our main result provides a quadratic bound for the minimal length of a synchronizing pair of any finite synchronizing complete code with respect to the maximal length of its words.
arXiv:1612.07881v1 fatcat:dkcru6rhbrh2tid5tlubold32u