Composing short 3-compressing words on a 2 letter alphabet
Abstract
A finite deterministic (semi)automaton is -compressible if there is some word such that the image of its state set under the natural action of is reduced by at least states. Such word, if it exists, is called a -compressing word for . A word is -collapsing if it is -compressing for each -compressible automaton. We compute a set of short words such that each -compressible automata on a two letter alphabet is -compressed at least by a word in . Then we construct a shortest common superstring of the words in and, with a further refinement, we obtain a -collapsing word of length . Moreover, as previously announced, we show that the shortest -synchronizing word is not -collapsing, illustrating the new bounds for the length of the shortest -collapsing word on a two letter alphabet.
Cite
@article{arxiv.1406.1413,
title = {Composing short 3-compressing words on a 2 letter alphabet},
author = {Alessandra Cherubini and Achille Frigeri and Zuhua Liu},
journal= {arXiv preprint arXiv:1406.1413},
year = {2015}
}
Comments
35 pages