On the length of shortest 2-collapsing words - Archive ouverte HAL
Article Dans Une Revue Discrete Mathematics and Theoretical Computer Science Année : 2009

On the length of shortest 2-collapsing words

Résumé

Given a word w over a finite alphabet Sigma and a finite deterministic automaton A = < Q,Sigma,delta >, the inequality vertical bar delta(Q,w)vertical bar <= vertical bar Q vertical bar - k means that under the natural action of the word w the image of the state set Q is reduced by at least k states. The word w is k-collapsing (k-synchronizing) if this inequality holds for any deterministic finite automaton ( with k + 1 states) that satisfies such an inequality for at least one word. We prove that for each alphabet Sigma there is a 2-collapsing word whose length is vertical bar Sigma vertical bar(3)+6 vertical bar Sigma vertical bar(2)+5 vertical bar Sigma vertical bar/2. Then we produce shorter 2-collapsing and 2-synchronizing words over alphabets of 4 and 5 letters.
Fichier principal
Vignette du fichier
983-4060-3-PB.pdf (157.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00988185 , version 1 (07-05-2014)

Identifiants

Citer

Alessandra Cherubini, Andrzej Kisielewicz, Brunetto Piochi. On the length of shortest 2-collapsing words. Discrete Mathematics and Theoretical Computer Science, 2009, Vol. 11 no. 1 (1), pp.33--44. ⟨10.46298/dmtcs.463⟩. ⟨hal-00988185⟩

Collections

TDS-MACS
68 Consultations
911 Téléchargements

Altmetric

Partager

More